{"id":"W1839235158","doi":"10.1109/rtse.1998.766514","title":"Formal methods in the classroom: the logic of real-time software design","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Formal methods; Computer science; Software engineering; Software development; Formal science; Software development process; Software; Formal specification; Software construction; Programming language; Software design; Mathematics","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.008913649,0.0009307403,0.0007580316,0.001464853,0.001929329,0.006084416,0.001965495,0.003423594,0.005706887],"category_scores_gemma":[0.01356896,0.0005885339,0.000808834,0.001172946,0.01465827,0.0123521,0.002599171,0.006626263,0.001872963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003536274,"about_ca_system_score_gemma":0.004027125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002834665,"about_ca_topic_score_gemma":0.001613966,"domain_scores_codex":[0.995128,0.002751932,0.0002697791,0.0004478402,0.001187364,0.0002150181],"domain_scores_gemma":[0.9919071,0.006294497,0.0003692183,0.0006684523,0.0004901146,0.0002706921],"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.000009982929,0.00001556354,0.00005890437,0.0001095656,0.000004075564,0.00002974599,0.0005793338,0.001099839,0.0001824142,0.9731141,0.003732174,0.0210643],"study_design_scores_gemma":[0.0000179369,0.00001736426,0.00003853261,0.0002146661,0.000005005737,0.00006479311,0.0001704437,0.00301841,0.0004062748,0.8991405,0.09688927,0.00001679446],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002585386,0.02839692,0.8681452,0.0338595,0.001006188,0.0000811822,0.00006770425,0.0007790021,0.06507894],"genre_scores_gemma":[0.3113889,0.05324914,0.5829815,0.008643419,0.002775118,0.0006899157,0.0002603546,0.000609088,0.03940253],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008913649,"threshold_uncertainty_score":0.04714048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.119038767338065,"score_gpt":0.3585023345255137,"score_spread":0.2394635671874487,"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."}}