{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001642406,0.0009287985,0.0004949218,0.001674181,0.0006656528,0.002760038,0.001744999,0.0009700966,0.0144683],"category_scores_gemma":[0.01464076,0.0009929697,0.001741988,0.001368159,0.001332243,0.005097078,0.003874638,0.002974704,0.003455461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009037516,"about_ca_system_score_gemma":0.001549758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003781539,"about_ca_topic_score_gemma":0.006553403,"domain_scores_codex":[0.9976075,0.0006427853,0.0002052573,0.0002987659,0.001021057,0.0002246707],"domain_scores_gemma":[0.9948823,0.002203416,0.0002803293,0.001584565,0.0008888429,0.0001603726],"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.0003317046,0.000256563,0.00171294,0.0005875926,0.00008747568,0.001077201,0.001462937,0.1151079,0.007868958,0.5831624,0.01603512,0.2723093],"study_design_scores_gemma":[0.00005836843,0.00006192767,0.0003019995,0.0001759949,0.00004301431,0.0003453262,0.0006327987,0.4275994,0.02881123,0.4757479,0.0661515,0.00007058623],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00564051,0.00002809585,0.983007,0.0002086789,0.00005667805,0.0001265552,0.0006563806,0.00538482,0.004891313],"genre_scores_gemma":[0.1971833,0.0001987096,0.7890419,0.0001742112,0.00004081294,0.0002706655,0.00304531,0.003512571,0.006532509],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0144683,"threshold_uncertainty_score":0.04840124,"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."}}