{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006349528,0.0003202778,0.0003156172,0.0003410798,0.0002962899,0.0002422095,0.002133638,0.0001331068,0.000002304745],"category_scores_gemma":[0.0000528774,0.0002813917,0.00006260524,0.0009140753,0.00006248251,0.0007004943,0.0008627853,0.0004509927,0.000007903113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001353818,"about_ca_system_score_gemma":0.00001275275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000979222,"about_ca_topic_score_gemma":5.837757e-7,"domain_scores_codex":[0.9977558,0.00001197635,0.0005618581,0.000656374,0.0004595924,0.0005543554],"domain_scores_gemma":[0.9987223,0.00008980683,0.0002947521,0.0005998163,0.0001554254,0.0001378928],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000397566,0.0007883282,0.003657934,0.0003685335,0.00003670191,6.730832e-7,0.02356401,0.05620467,0.06167544,0.6335821,0.001708824,0.218373],"study_design_scores_gemma":[0.0004549566,0.0001781598,0.006179104,0.0002341912,0.00001256535,0.00002646941,0.0001286782,0.9710599,0.01939618,0.00122402,0.0005419324,0.0005638094],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1128052,0.0000150149,0.8811741,0.000303738,0.00008191285,0.0006499634,0.000002797947,0.0006204777,0.004346738],"genre_scores_gemma":[0.5555907,0.000003881622,0.4441582,0.0001085081,0.00005136961,0.0000436266,0.00000106581,0.00002146174,0.00002123101],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9148552,"threshold_uncertainty_score":0.9999638,"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."}}