{"id":"W1769485920","doi":"10.1007/0-306-47003-9_2","title":"Stepwise Design with Message Sequence Charts","year":2006,"lang":"en","type":"book-chapter","venue":"Kluwer Academic Publishers eBooks","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Notation; Software engineering; Process (computing); Automation; Relation (database); Software; Formal specification; Sequence (biology); Programming language; Data mining; Engineering","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.005542855,0.001578238,0.0005914668,0.001627148,0.0007869453,0.002491961,0.002069714,0.001135173,0.005321122],"category_scores_gemma":[0.008519584,0.0008048586,0.001305446,0.001259734,0.001359778,0.001921913,0.0018895,0.001309027,0.00169467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001031059,"about_ca_system_score_gemma":0.002066055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001693715,"about_ca_topic_score_gemma":0.001702649,"domain_scores_codex":[0.9946678,0.002571695,0.0004118739,0.0005079923,0.001614236,0.0002264046],"domain_scores_gemma":[0.9953465,0.002480509,0.0004140491,0.0007033044,0.0009036465,0.0001519321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003560132,0.0002365484,0.001813555,0.001198232,0.0001275949,0.001341989,0.003290508,0.1037209,0.03231907,0.4518626,0.007634541,0.3960985],"study_design_scores_gemma":[0.0003722498,0.0007020175,0.0007369071,0.0007311438,0.0002860089,0.0007498867,0.0004386488,0.4002075,0.07023498,0.2236045,0.3017757,0.0001605165],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002513677,0.0002115888,0.9920164,0.00009482528,0.00003836307,0.0002825509,0.000054527,0.001602172,0.003185867],"genre_scores_gemma":[0.05950027,0.0004954617,0.9340479,0.00007989273,0.00003835321,0.0007816756,0.0002558843,0.0003051019,0.004495439],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005542855,"threshold_uncertainty_score":0.0293138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07641966359258025,"score_gpt":0.2686080016784373,"score_spread":0.1921883380858571,"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."}}