{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004472314,0.000887616,0.0006632929,0.002443354,0.0022145,0.007724877,0.001227809,0.001926347,0.005278063],"category_scores_gemma":[0.005929995,0.0006036113,0.001024857,0.00233247,0.01475566,0.00827771,0.002616595,0.004065196,0.001733778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004896083,"about_ca_system_score_gemma":0.003328421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004823023,"about_ca_topic_score_gemma":0.002616795,"domain_scores_codex":[0.9959495,0.002176174,0.0002917659,0.0004807893,0.0008263079,0.000275434],"domain_scores_gemma":[0.9958103,0.002913625,0.0002519561,0.0005189014,0.0003457303,0.000159629],"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.000003769823,0.000002619331,0.00003081187,0.00004291956,0.000003580829,0.00002275995,0.000190934,0.0004403765,0.00005536097,0.9910047,0.001781962,0.006420173],"study_design_scores_gemma":[0.00000669244,0.0000087414,0.00002769295,0.00008285593,0.00000392448,0.00004479835,0.00006452001,0.001011592,0.0001175922,0.9366665,0.06195877,0.000006394838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004908716,0.03456865,0.6219026,0.02468257,0.001121904,0.0001128271,0.0003381882,0.0008032271,0.3115613],"genre_scores_gemma":[0.5303583,0.04706666,0.336311,0.009570065,0.00272385,0.000737381,0.0005924046,0.0004505917,0.07218967],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007724877,"threshold_uncertainty_score":0.03552377,"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."}}