{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005267836,0.00009697775,0.0001278187,0.00006443611,0.00009865477,0.00005599366,0.001785639,0.00006211261,0.00010746],"category_scores_gemma":[0.0004448046,0.00004759435,0.00005411923,0.0006392343,0.00008858364,0.0005219536,0.0001634158,0.0001525013,0.0000647788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002369965,"about_ca_system_score_gemma":0.00001510357,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002584925,"about_ca_topic_score_gemma":0.000001059536,"domain_scores_codex":[0.9975078,0.001499143,0.0003049222,0.0001864979,0.0002483142,0.0002533727],"domain_scores_gemma":[0.9976413,0.001272518,0.0001243214,0.0008891898,0.00005199607,0.00002068871],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000897575,0.000121957,0.0001313349,0.0000146939,0.00001006517,0.000002839791,0.003998368,0.0009099253,0.003190599,0.4675979,0.00353267,0.5204807],"study_design_scores_gemma":[0.0002381803,0.0002520988,0.004803074,0.00001116751,0.000008375171,0.000040968,0.0001945565,0.9319842,0.01392197,0.04671077,0.00164726,0.0001873254],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002629332,0.00005548384,0.9833226,0.0006417598,0.00007668623,0.0002760858,2.789562e-7,0.00007777759,0.01528639],"genre_scores_gemma":[0.005631398,0.00003462276,0.9934137,0.0004307566,0.00001659684,0.0000324038,2.025418e-7,0.000004405738,0.0004358431],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9310743,"threshold_uncertainty_score":0.3318191,"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."}}