{"id":"W2122279036","doi":"10.1049/ip-sen:20000681","title":"The logic of software design","year":2000,"lang":"en","type":"article","venue":"IEE Proceedings - Software","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Software engineering; Programming language; Software; Mathematical proof; 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.001042784,0.0001813604,0.00018391,0.00006452482,0.0003509513,0.000197605,0.001781248,0.0001097659,0.00004617008],"category_scores_gemma":[0.001006812,0.0001314996,0.0000813815,0.0006443513,0.0001677084,0.0007884452,0.0001279518,0.0001990362,0.0001122451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005166173,"about_ca_system_score_gemma":0.00006792173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005904631,"about_ca_topic_score_gemma":2.509844e-7,"domain_scores_codex":[0.9983838,0.00003679655,0.0003734427,0.000389944,0.0004324506,0.0003835926],"domain_scores_gemma":[0.9986994,0.0002743188,0.0002057918,0.0004005762,0.0003358767,0.00008403658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005837211,0.00007604224,0.001926987,0.00009574748,0.0000278518,0.000002245672,0.001766889,0.0002141007,0.0005830031,0.0571566,0.005765693,0.9323265],"study_design_scores_gemma":[0.002091746,0.002161611,0.03882232,0.0005835037,0.0001117908,0.0003847133,0.0005066431,0.05502806,0.162629,0.6021168,0.1328799,0.002683819],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006555084,0.0003867002,0.9906334,0.0002654853,0.0002601109,0.0003546642,0.000002156056,0.000614144,0.0009282489],"genre_scores_gemma":[0.02905879,0.00010435,0.9696876,0.0002126565,0.00006657789,0.00006835899,6.160037e-7,0.00001854747,0.0007825513],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9296427,"threshold_uncertainty_score":0.5362396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03527924645339317,"score_gpt":0.2732307429936452,"score_spread":0.237951496540252,"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."}}