{"id":"W1528299167","doi":"10.1007/11495628_13","title":"From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Systems engineering; Software engineering; Architecture; Programming language; 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.0006545469,0.0005848024,0.0004787653,0.001091768,0.0003543894,0.002604787,0.001031226,0.000752299,0.007337292],"category_scores_gemma":[0.002447998,0.0004190663,0.0004947023,0.001910163,0.001101978,0.002632445,0.001809069,0.001921414,0.002398727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007318283,"about_ca_system_score_gemma":0.001004713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001899551,"about_ca_topic_score_gemma":0.002548598,"domain_scores_codex":[0.9993605,0.0001355114,0.00007028469,0.00008257412,0.0003114324,0.00003976978],"domain_scores_gemma":[0.9990826,0.0004800423,0.00005836773,0.000136155,0.0001980337,0.00004479214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000840116,0.00008787061,0.000464914,0.0006509931,0.00002094082,0.0002977696,0.0004719375,0.02551435,0.005255758,0.3444557,0.02872621,0.5939696],"study_design_scores_gemma":[0.00007124081,0.0001369047,0.0002761535,0.0003741209,0.00003789558,0.0005857006,0.0001652861,0.198369,0.01652181,0.3405754,0.4428294,0.00005704143],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005702219,0.005631353,0.9440768,0.001559933,0.0002939751,0.00007524108,0.000339028,0.006120226,0.03620124],"genre_scores_gemma":[0.2035421,0.01505384,0.7314354,0.001391706,0.001018585,0.0003408231,0.001395804,0.003319977,0.04250179],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007337292,"threshold_uncertainty_score":0.02454573,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02527396780474553,"score_gpt":0.2879351611787726,"score_spread":0.262661193374027,"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."}}