{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00443266,0.001355652,0.0008710548,0.00334909,0.001090918,0.003793122,0.002720129,0.001615327,0.002515643],"category_scores_gemma":[0.008535106,0.001152587,0.002111087,0.002985404,0.006789952,0.006460673,0.002248921,0.003794648,0.001023863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003264579,"about_ca_system_score_gemma":0.002449038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005207434,"about_ca_topic_score_gemma":0.004872947,"domain_scores_codex":[0.9953365,0.001877751,0.0003990852,0.0004221559,0.001778656,0.0001860264],"domain_scores_gemma":[0.9941577,0.003713013,0.0005140721,0.0007341319,0.0007453664,0.0001356917],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001030604,0.00002328276,0.0001104995,0.0001456643,0.00001705941,0.0000827453,0.0003931851,0.01320991,0.0006696064,0.9645433,0.001030301,0.01976408],"study_design_scores_gemma":[0.00001347776,0.00001918841,0.00006179581,0.00009686642,0.00001465464,0.0000950068,0.0001169525,0.03746676,0.0007987685,0.9351836,0.02611239,0.00002058864],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001341959,0.001843102,0.9906154,0.0009306092,0.00006332438,0.00005004085,0.00007476386,0.0002006131,0.004880198],"genre_scores_gemma":[0.05513167,0.004047277,0.936338,0.0005745137,0.0001924237,0.0002865396,0.0002558171,0.0001818595,0.002991921],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005207434,"threshold_uncertainty_score":0.02368629,"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."}}