{"id":"W816408658","doi":"","title":"Mise En Scene: Conversion of Scenarios to CSP Traces for the Requirements-To-Design-To-Code Project","year":2013,"lang":"en","type":"book","venue":"NASA Technical Reports Server (NASA)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Notation; Computer science; TRACE (psycholinguistics); Programming language; Communicating sequential processes; Code (set theory); Schedule; Software engineering; Semantics (computer science); Operating system; Set (abstract data type)","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.001060271,0.001131576,0.0003412933,0.001625687,0.0004311662,0.002408268,0.00109872,0.0008583488,0.02727228],"category_scores_gemma":[0.00395266,0.0007436029,0.0007136889,0.001941572,0.0006283913,0.004200211,0.001387132,0.002151912,0.0132987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009556874,"about_ca_system_score_gemma":0.001244099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001317611,"about_ca_topic_score_gemma":0.00212474,"domain_scores_codex":[0.9991503,0.0001797567,0.00006695124,0.00009481837,0.0004815573,0.00002666071],"domain_scores_gemma":[0.9988112,0.0005296067,0.00004911327,0.0002581701,0.0003012877,0.00005064784],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006137439,0.0000744398,0.0001818748,0.0006533723,0.00001510615,0.0003816062,0.0008205313,0.008316779,0.01019954,0.3438544,0.1372238,0.4982172],"study_design_scores_gemma":[0.00001683097,0.00004689356,0.0001841981,0.0002299977,0.000006908665,0.0008262277,0.0001035119,0.01965117,0.006980837,0.04965405,0.9222649,0.00003450935],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001848132,0.0009171078,0.9125054,0.00067417,0.0003475909,0.0002250283,0.001181289,0.007737009,0.07456418],"genre_scores_gemma":[0.02393127,0.003773773,0.8078604,0.0005035696,0.0001572855,0.0005660069,0.007658014,0.009566197,0.1459834],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02727228,"threshold_uncertainty_score":0.09123486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08758472609437762,"score_gpt":0.3428624269973904,"score_spread":0.2552777009030128,"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."}}