{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity"],"consensus_categories":["research_integrity"],"category_scores_codex":[0.001810405,0.001050407,0.0009255421,0.0005746165,0.0001704534,0.0005910972,0.00378933,0.001392227,0.00002745121],"category_scores_gemma":[0.0003643106,0.0009393272,0.000186203,0.0001080598,0.000436805,0.0022985,0.0007562365,0.003230183,0.00005663744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004252641,"about_ca_system_score_gemma":0.0005093985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009710432,"about_ca_topic_score_gemma":0.000001007261,"domain_scores_codex":[0.9954802,0.0001888105,0.0007433278,0.001615454,0.0009492711,0.001022957],"domain_scores_gemma":[0.9957369,0.001297792,0.0005979557,0.001785755,0.0002588748,0.0003227074],"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.000133792,0.0000252249,0.00001988546,0.0004063366,0.0006244627,0.001743736,0.001632387,0.04482428,0.001210063,0.399529,0.3949506,0.1549003],"study_design_scores_gemma":[0.001024186,0.0003113519,0.00002600447,0.001014442,0.0001429648,0.0003412454,0.00001473889,0.001380835,0.001349041,0.3772738,0.6136366,0.003484724],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.000002270941,0.0005463019,0.714987,0.0002034143,0.0006721056,0.0005814222,0.00001241669,0.001753773,0.2812413],"genre_scores_gemma":[0.0002999451,0.00002149311,0.3978246,0.000633787,0.0003373128,0.0001155235,0.00001969058,0.0002108315,0.6005368],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3192955,"threshold_uncertainty_score":0.9999042,"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."}}