{"id":"W2145428928","doi":"10.1109/ecbs.2003.1194803","title":"Requirements interaction detection using semi-formal methods","year":2004,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Reuse; Computer science; Domain (mathematical analysis); Feature (linguistics); Domain analysis; Software engineering; Software; Domain engineering; Data mining; Software system; Component-based software engineering; Software construction; 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.0006566417,0.0001004789,0.00009797076,0.0001136769,0.00009570499,0.00005488532,0.0002649716,0.00004882512,0.000003901501],"category_scores_gemma":[0.0003470993,0.00009386068,0.00003894487,0.0002896511,0.00001387098,0.001949831,0.0001865561,0.0001270179,0.00001005586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000251872,"about_ca_system_score_gemma":0.00002066569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003035275,"about_ca_topic_score_gemma":0.000002686745,"domain_scores_codex":[0.9991786,0.00008778263,0.00016596,0.0002212219,0.000117814,0.0002286016],"domain_scores_gemma":[0.9994236,0.0001481016,0.00005990013,0.0002854675,0.00004329295,0.00003967361],"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.000004108065,0.00001196169,0.00001042683,0.000007539844,0.00001037268,0.000002978967,0.0001983434,0.579676,0.1426024,0.003238624,7.761262e-7,0.2742365],"study_design_scores_gemma":[0.0003154082,0.00008685494,0.0003239731,0.00002563446,0.000005671277,0.00009351543,0.00006303695,0.1062602,0.85653,0.03561854,0.0004280077,0.0002492102],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01642893,0.00001941006,0.9811212,0.00003056164,0.001359307,0.00006694852,6.96712e-8,0.0007453331,0.0002282293],"genre_scores_gemma":[0.1905306,0.000002761911,0.8093445,0.00004846408,0.00003687125,0.000003959921,1.662096e-7,0.000006347329,0.0000262742],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7139275,"threshold_uncertainty_score":0.3827527,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1347454250559093,"score_gpt":0.4248274952436655,"score_spread":0.2900820701877561,"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."}}