{"id":"W4252429449","doi":"10.1145/508979.508988","title":"An approach to integrating semi-formal and formal notations in software specification","year":2002,"lang":"en","type":"article","venue":"Proceedings of the 2002 ACM symposium on Applied computing - SAC '02","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":2,"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.02665712,0.002100189,0.001388562,0.003893748,0.002391102,0.009978307,0.006569619,0.004423046,0.003586906],"category_scores_gemma":[0.03226326,0.002283397,0.003562629,0.003928132,0.01238138,0.0138313,0.009091307,0.008759007,0.001488547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004293686,"about_ca_system_score_gemma":0.008737955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003706085,"about_ca_topic_score_gemma":0.003537251,"domain_scores_codex":[0.9753118,0.01497161,0.002044555,0.00148793,0.005580808,0.0006033196],"domain_scores_gemma":[0.9714494,0.01630173,0.002372914,0.006004254,0.003271425,0.0006004156],"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.00001681274,0.00002963881,0.00009759542,0.0002357537,0.00002682474,0.00007457666,0.001504151,0.003781517,0.001037847,0.9754891,0.0006441346,0.01706219],"study_design_scores_gemma":[0.00006208795,0.0001608126,0.00009647444,0.0004688341,0.00008049902,0.0002819621,0.0006384765,0.03010464,0.003409601,0.8556322,0.1089599,0.0001045028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003296595,0.0002170807,0.9972727,0.0006097518,0.00006274268,0.00004326061,0.00001276204,0.0001526445,0.001299411],"genre_scores_gemma":[0.02358929,0.0006704615,0.9729493,0.0003996566,0.0001074775,0.0003660714,0.00009505812,0.0001198549,0.00170282],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02665712,"threshold_uncertainty_score":0.140978,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01729842992066405,"score_gpt":0.2250219386540039,"score_spread":0.2077235087333399,"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."}}