{"id":"W2757786437","doi":"10.1109/rew.2017.70","title":"DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy","year":2017,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Dash; Hierarchy; Computer science; Programming language; State (computer science); Control (management); Theoretical computer science; Artificial intelligence; Operating system","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.004272727,0.001304245,0.0007251501,0.001163354,0.0006937135,0.003066804,0.002677321,0.001254909,0.006005665],"category_scores_gemma":[0.00578655,0.001356838,0.002140735,0.0007959733,0.002208511,0.005823456,0.003267569,0.003885753,0.002328875],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001187054,"about_ca_system_score_gemma":0.002833121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003610258,"about_ca_topic_score_gemma":0.005673974,"domain_scores_codex":[0.995271,0.001163083,0.0009112551,0.0007130321,0.001655423,0.0002862551],"domain_scores_gemma":[0.9958941,0.001898412,0.0003975763,0.0008006564,0.0008082346,0.0002010342],"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.0002115494,0.0001053466,0.0006087972,0.0009353859,0.0000789574,0.0006060202,0.001995225,0.02968923,0.0229357,0.8344355,0.02067482,0.08772355],"study_design_scores_gemma":[0.0001476502,0.0002147945,0.0002705202,0.0002811627,0.000107391,0.0008013468,0.0003420325,0.1201225,0.02843302,0.2667794,0.5823103,0.0001899735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001376646,0.00008453899,0.9893834,0.0002156682,0.00008204755,0.0001153943,0.0007246484,0.00499769,0.003020025],"genre_scores_gemma":[0.05593711,0.0004227129,0.9252799,0.0006527529,0.00009501607,0.0009592852,0.00310418,0.002161072,0.01138801],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006005665,"threshold_uncertainty_score":0.0225966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08692277813182188,"score_gpt":0.3687902882156623,"score_spread":0.2818675100838404,"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."}}