{"id":"W3140317730","doi":"10.1109/sew.2007.104","title":"Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Notation; TRACE (psycholinguistics); Programming language; Communicating sequential processes; Software engineering; Semantics (computer science)","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.003609627,0.0001042332,0.0001520752,0.000243754,0.00003686329,0.00003947728,0.0006441466,0.00006047703,0.00002356389],"category_scores_gemma":[0.000327214,0.0001001807,0.00003720315,0.0006888646,0.000032599,0.0004110501,0.00009406982,0.00009249105,0.00001658488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009475552,"about_ca_system_score_gemma":0.00008951112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009762154,"about_ca_topic_score_gemma":0.00006225774,"domain_scores_codex":[0.9983725,0.0000813721,0.0005425169,0.0003005932,0.0003471665,0.0003558619],"domain_scores_gemma":[0.9991359,0.0001153429,0.0001410706,0.000412861,0.00009587289,0.00009898656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00007135791,0.0003258619,0.03561595,0.0001287641,0.000008884809,0.00002157835,0.003940361,0.000452258,0.04740371,0.0116765,0.0001224114,0.9002324],"study_design_scores_gemma":[0.001018429,0.0005127313,0.03156926,0.0001087058,0.000006326457,0.00000598921,0.0004097674,0.0910344,0.8650789,0.00015679,0.009686941,0.0004117839],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1593893,0.000007606588,0.8382192,0.000349592,0.0001657823,0.0003854465,2.861744e-7,0.0000955615,0.001387235],"genre_scores_gemma":[0.4276692,3.349258e-7,0.5719255,0.0003208033,0.00001033049,0.000009222101,6.693516e-7,0.000004407587,0.00005947612],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8998206,"threshold_uncertainty_score":0.408525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04311144987423011,"score_gpt":0.3525725496366948,"score_spread":0.3094610997624647,"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."}}