{"id":"W2253782107","doi":"10.1007/978-3-662-43652-3_34","title":"Optimizing Alloy for Multi-objective Software Product Line Configuration","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Solver; Backtracking; Computer science; Integer (computer science); Software product line; Software; Reuse; Constraint satisfaction problem; Product (mathematics); Binary number; Computational science; Binary decision diagram; Algorithm; Theoretical computer science; Software development; Programming language; Mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005104073,0.001141055,0.0008702911,0.0008707394,0.0004901962,0.0008778275,0.001157059,0.0007234228,0.005017009],"category_scores_gemma":[0.001090825,0.0005820925,0.0007339581,0.0008345366,0.0003896735,0.0006465405,0.0006349558,0.0006664387,0.0007882877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008870803,"about_ca_system_score_gemma":0.0007972008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002727758,"about_ca_topic_score_gemma":0.003776005,"domain_scores_codex":[0.9995815,0.0001090268,0.00001603218,0.00005484603,0.0001768472,0.00006171405],"domain_scores_gemma":[0.9996471,0.0001682856,0.00004294494,0.00004045639,0.00008500107,0.00001625253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001025346,0.00006317053,0.0004100275,0.0001164179,0.0000306664,0.0000759843,0.00003595579,0.9078637,0.008637325,0.004068981,0.0008331005,0.07776205],"study_design_scores_gemma":[0.00001149934,0.000087181,0.0001785373,0.00001191485,0.00001541212,0.00003323572,0.0000181463,0.9937802,0.002669499,0.002471651,0.0007165322,0.000006161074],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1352223,0.0007446485,0.8375964,0.0001312193,0.0000646192,0.0001159123,0.00014428,0.001893617,0.02408699],"genre_scores_gemma":[0.7715298,0.0002000845,0.2224088,0.00004255602,0.00001364897,0.0001059921,0.0001998514,0.0003465574,0.005152825],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005017009,"threshold_uncertainty_score":0.0167836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05398430405933326,"score_gpt":0.3041171251929969,"score_spread":0.2501328211336636,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}