{"id":"W2098305703","doi":"10.5555/2820489.2820493","title":"Incremental and commutative composition of state-machine models of features","year":2015,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Feature (linguistics); Feature model; Composition (language); Computer science; State (computer science); Software product line; Product line; Product (mathematics); Commutative property; Artificial intelligence; Finite-state machine; Line (geometry); Algorithm; Programming language; Mathematics; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000256549,0.00005736587,0.0001315647,0.0000477673,0.00001067135,0.00000807011,0.0001720845,0.00001543141,2.703331e-7],"category_scores_gemma":[0.00005109799,0.00004741702,0.00001155139,0.00009557986,0.00006015062,0.0004329895,0.0001833159,0.00005031801,1.085303e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001459209,"about_ca_system_score_gemma":0.00001152582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007304495,"about_ca_topic_score_gemma":0.000003414191,"domain_scores_codex":[0.9995422,0.00007419649,0.0001139605,0.00008743178,0.0001187827,0.00006341514],"domain_scores_gemma":[0.9994329,0.0002631351,0.00005718652,0.0001404107,0.00007384998,0.00003249879],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006113287,0.00008572093,0.0003948221,0.00006175125,0.00004844875,0.000003668912,0.007392856,0.8328397,0.02849399,0.1126524,0.0001540549,0.01781142],"study_design_scores_gemma":[0.001154087,0.0005890806,0.003796272,0.00004622886,0.000008092522,0.00002556319,0.0004432707,0.1995265,0.409636,0.3845158,0.000008792538,0.0002503457],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0629558,0.000283246,0.9363107,0.00003846293,0.00003635299,0.00005494787,0.000006771651,0.00006720957,0.0002465034],"genre_scores_gemma":[0.5139695,0.000005042298,0.4860005,0.000009841798,8.852651e-7,8.067736e-7,0.000001070762,0.000001528624,0.00001084965],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6333132,"threshold_uncertainty_score":0.193361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06195219400242152,"score_gpt":0.3124647672995221,"score_spread":0.2505125732971005,"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."}}