{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002984181,0.0008853678,0.0004264123,0.001000247,0.0004758226,0.002562082,0.001826988,0.0009469002,0.005224131],"category_scores_gemma":[0.01134943,0.0007795934,0.001029657,0.0006470057,0.001534219,0.004376623,0.003079655,0.00229137,0.001730172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007984955,"about_ca_system_score_gemma":0.001643608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001354609,"about_ca_topic_score_gemma":0.002034138,"domain_scores_codex":[0.9975455,0.001085713,0.0002082512,0.0002674243,0.0007387368,0.000154403],"domain_scores_gemma":[0.9953014,0.002590796,0.0003711999,0.001028441,0.0005149773,0.0001931984],"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.0004961683,0.0002596979,0.001181476,0.0006709067,0.0000703513,0.001392123,0.003752466,0.0748334,0.03120879,0.556686,0.01384694,0.3156016],"study_design_scores_gemma":[0.0001859973,0.0002837878,0.0004512891,0.0003102245,0.00004521557,0.001163634,0.000935376,0.4821967,0.08652694,0.2298086,0.1979382,0.0001541776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00336167,0.00002635763,0.9893067,0.0001543411,0.00002237653,0.0001233328,0.000151527,0.00475727,0.00209639],"genre_scores_gemma":[0.0782486,0.0001567629,0.9148583,0.0001523863,0.00001878839,0.0003210571,0.00104611,0.001700891,0.003496962],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005224131,"threshold_uncertainty_score":0.0174765,"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."}}