{"id":"W2031712179","doi":"10.1145/508791.508988","title":"An approach to integrating semi-formal and formal notations in software specification","year":2002,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Computer science; Formal specification; Programming language; Unified Modeling Language; Software engineering; Notation; Formal methods; Visual modeling; Software","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.02405417,0.001911648,0.001276684,0.003630672,0.002307951,0.009347152,0.006105636,0.004194963,0.003377771],"category_scores_gemma":[0.02979536,0.002137077,0.003281737,0.003722547,0.01176767,0.01272785,0.008314257,0.00799759,0.001401492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004088299,"about_ca_system_score_gemma":0.008507932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003435373,"about_ca_topic_score_gemma":0.003390976,"domain_scores_codex":[0.9774006,0.01371969,0.001858304,0.0013204,0.005152752,0.0005482455],"domain_scores_gemma":[0.9739308,0.01491298,0.002117225,0.005479055,0.003000637,0.0005593071],"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.00001612759,0.00003061565,0.0001002915,0.0002535583,0.00002725907,0.00007701341,0.001391797,0.004027675,0.00109741,0.9737731,0.0006863984,0.01851886],"study_design_scores_gemma":[0.00006084684,0.0001676552,0.00009478955,0.0004739209,0.00008169679,0.0003045181,0.0006219264,0.03245244,0.003636404,0.8486694,0.1133311,0.0001053568],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003290399,0.0002116306,0.9973282,0.0005897927,0.00005996475,0.00004050224,0.00001210517,0.0001441755,0.001284656],"genre_scores_gemma":[0.02332316,0.0006559042,0.9733973,0.0003761901,0.00009668836,0.0003452118,0.00008937011,0.0001055736,0.001610729],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02405417,"threshold_uncertainty_score":0.1272121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02522552981827585,"score_gpt":0.2383903744724916,"score_spread":0.2131648446542157,"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."}}