{"id":"W2068726498","doi":"10.1145/839268.839270","title":"Feature specification and automated conflict detection","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Feature (linguistics); Model checking; Formal specification; Formal methods; Specification language; Extractor; Field (mathematics); Software engineering; Programming language; Data mining","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.005623145,0.001245722,0.001009199,0.003528077,0.0009204544,0.001968911,0.002394823,0.001359735,0.003245397],"category_scores_gemma":[0.0290672,0.001266942,0.001582099,0.002751593,0.001591249,0.00393622,0.002495034,0.001591492,0.0008590099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001110883,"about_ca_system_score_gemma":0.002126701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003795638,"about_ca_topic_score_gemma":0.003432441,"domain_scores_codex":[0.9878262,0.003862282,0.001170929,0.001280473,0.0052341,0.0006259946],"domain_scores_gemma":[0.9756245,0.01436227,0.002800654,0.004388364,0.002603588,0.0002205365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007868587,0.0004064822,0.03411559,0.00124127,0.0003058965,0.002074234,0.002550129,0.1458248,0.07926623,0.1120754,0.009626948,0.611726],"study_design_scores_gemma":[0.0001727039,0.0002758825,0.003830814,0.0001445275,0.0001275776,0.001429207,0.0004396462,0.7863252,0.1051512,0.08068908,0.02125844,0.0001557555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02001463,0.00008185664,0.9735869,0.00009555811,0.00001350848,0.00008522848,0.0002255251,0.004953034,0.0009438202],"genre_scores_gemma":[0.2358938,0.0001304306,0.7597038,0.0001152539,0.00001883302,0.0002902469,0.001780614,0.0007436755,0.001323411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005623145,"threshold_uncertainty_score":0.02973843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0813120162940838,"score_gpt":0.3161018302563561,"score_spread":0.2347898139622723,"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."}}