{"id":"W2125340651","doi":"10.1109/ccece.2005.1557174","title":"On the mathematical laws of software","year":2006,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Software; Process (computing); Algebraic specification; Software requirements; Notation; Software engineering; Software development; Software construction; Algebra over a field; Theoretical computer science; Programming language; Formal specification; Mathematics; Pure 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.001974245,0.0008892882,0.0007685156,0.002169314,0.001401808,0.003395292,0.001114842,0.001497877,0.005324584],"category_scores_gemma":[0.00493201,0.0003802804,0.0009502912,0.001786508,0.008860658,0.007795171,0.002392979,0.004096125,0.001995232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001742841,"about_ca_system_score_gemma":0.001610963,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002901601,"about_ca_topic_score_gemma":0.001369251,"domain_scores_codex":[0.9982943,0.000437542,0.0001121486,0.0003027708,0.0007364487,0.0001168319],"domain_scores_gemma":[0.9978577,0.001152744,0.0001526027,0.0003023528,0.0004527213,0.00008175809],"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.000002219757,0.000003571445,0.00003033622,0.00002647022,0.000002405136,0.00001934836,0.0001287497,0.0005511669,0.00009881877,0.994381,0.001245955,0.003509965],"study_design_scores_gemma":[0.00000264958,0.000006978199,0.00006440182,0.00004187127,0.000002840726,0.00003667899,0.00003001574,0.001774719,0.000102625,0.9626441,0.03528676,0.000006335395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.016059,0.04063781,0.670514,0.01518236,0.002191669,0.000107429,0.0007627168,0.0004146984,0.2541303],"genre_scores_gemma":[0.6219799,0.05067476,0.2365829,0.006877312,0.006976114,0.0008372571,0.001208899,0.0004809288,0.07438198],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005324584,"threshold_uncertainty_score":0.01781249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01261605268488551,"score_gpt":0.2142924230068053,"score_spread":0.2016763703219198,"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."}}