{"id":"W2158425043","doi":"10.1109/ccece.2005.1557126","title":"Formal approaches to requirements engineering: from behavior trees to alloy","year":2006,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais; University of Ottawa","funders":"","keywords":"Soundness; Computer science; Consistency (knowledge bases); Formal specification; Completeness (order theory); Requirements engineering; Formal methods; Software engineering; Requirements analysis; Programming language; Formal verification; Semantics (computer science); Theoretical computer science; Software; Artificial intelligence; Mathematics","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.0002120956,0.0001955454,0.0001850456,0.0001448928,0.00004453949,0.00009208397,0.0008580947,0.00005508697,0.000008605489],"category_scores_gemma":[0.000126383,0.0001838313,0.00004967021,0.0003363921,0.000007307255,0.0005996339,0.0004927407,0.0000814197,0.00006701138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006954012,"about_ca_system_score_gemma":0.00001207468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001013318,"about_ca_topic_score_gemma":0.00003365838,"domain_scores_codex":[0.9986286,0.0000189096,0.000226417,0.0004275645,0.0002475503,0.0004509974],"domain_scores_gemma":[0.9990634,0.0001794697,0.00002385916,0.0005770752,0.00002121317,0.0001349945],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.00001173914,0.0001107556,0.001642523,0.000007412921,0.00001791875,0.00002710719,0.0004297908,0.8926697,0.02835484,0.03287405,0.00121136,0.04264278],"study_design_scores_gemma":[0.001439999,0.0008536594,0.5977724,0.00009634649,0.00005484474,0.00002410488,0.0001299696,0.07646432,0.2750945,0.009904264,0.03476052,0.003405166],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08065704,0.00002205863,0.9171814,0.0002552576,0.0003727453,0.0002509105,0.000003842942,0.001055335,0.0002013499],"genre_scores_gemma":[0.2206995,2.770531e-7,0.7785832,0.00009822068,0.00008330127,0.0001127791,0.000003871256,0.00001533077,0.0004035156],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8162054,"threshold_uncertainty_score":0.7496421,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1609002652853558,"score_gpt":0.2814031039292584,"score_spread":0.1205028386439027,"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."}}