{"id":"W2063002226","doi":"10.1007/s11334-007-0041-0","title":"Converting scenarios to CSP traces with Mise en Scene for requirements-based programming","year":2008,"lang":"en","type":"article","venue":"Innovations in Systems and Software Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Notation; TRACE (psycholinguistics); Software engineering; Programming language; Communicating sequential processes; Formal specification; Systems engineering; 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.0006595982,0.0002126567,0.0002850322,0.000435528,0.0001457752,0.00008040211,0.000299557,0.00007675992,2.278115e-7],"category_scores_gemma":[0.001655487,0.0002043009,0.0000227255,0.001143969,0.0000234098,0.0004017137,0.00006510357,0.0001532719,5.668408e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001237139,"about_ca_system_score_gemma":0.00007134532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002167995,"about_ca_topic_score_gemma":0.00000284596,"domain_scores_codex":[0.9985791,0.00002662192,0.00042675,0.0003861097,0.000200049,0.0003813908],"domain_scores_gemma":[0.9985037,0.000830745,0.00008281835,0.0003200276,0.0001958225,0.00006682402],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009320056,0.00002609041,0.009036368,0.0002909129,0.00001945716,0.00002375881,0.001268083,0.9736666,0.000776916,0.001778603,0.00002020914,0.01308368],"study_design_scores_gemma":[0.005269742,0.001190666,0.03251863,0.00354496,0.00003020591,0.0003863475,0.0006731679,0.9194122,0.006298098,0.0001705308,0.02728754,0.003217894],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1053691,0.0002044384,0.8927013,0.00009217222,0.0003130714,0.0006620425,0.000003265885,0.0006534559,0.000001170539],"genre_scores_gemma":[0.3674831,0.000002163079,0.6320709,0.0000309485,0.00003917352,0.0003329168,0.000002933404,0.00002190797,0.00001597262],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.262114,"threshold_uncertainty_score":0.833115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0471646092853532,"score_gpt":0.2870360649401125,"score_spread":0.2398714556547593,"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."}}