{"id":"W2087156818","doi":"10.1145/1082983.1083302","title":"Quality, cleanroom and formal methods","year":2005,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Software Engineering Research","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Cleanroom; Computer science; Software engineering; Software development; Formal methods; Quality (philosophy); Systems engineering; Software; Reliability engineering; Engineering; Programming language","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":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001417882,0.0003537575,0.0003587359,0.0003204737,0.0001435191,0.0002699325,0.001640934,0.000167897,0.00002231948],"category_scores_gemma":[0.2281845,0.0003674222,0.0001051378,0.000580278,0.00004421605,0.001282577,0.001560191,0.000476697,0.00007197264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001015808,"about_ca_system_score_gemma":0.00005475705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002540997,"about_ca_topic_score_gemma":0.000002844347,"domain_scores_codex":[0.9975527,0.00007217508,0.0004147798,0.0006185579,0.000475379,0.0008664237],"domain_scores_gemma":[0.88072,0.1170764,0.00007337959,0.001623898,0.0001300509,0.0003762514],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000008252758,0.00006256973,0.2456923,0.0002176672,0.00007282946,0.00002062949,0.0009060603,0.004287013,0.003784229,0.007352632,0.0004380942,0.7371578],"study_design_scores_gemma":[0.0009223436,0.0001559497,0.9340565,0.000111197,0.00001478245,0.0001593793,0.000010732,0.01115074,0.02114656,0.0002190319,0.03069226,0.001360569],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1545954,0.001170782,0.8408059,0.0006282643,0.0003375606,0.0001663735,0.000004911746,0.002286903,0.000003905117],"genre_scores_gemma":[0.4769036,0.00002232703,0.5227303,0.00009291711,0.0001532231,0.00002345897,0.000002856221,0.00003650146,0.00003480591],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7357972,"threshold_uncertainty_score":0.9998778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03588205795336202,"score_gpt":0.3435067895284858,"score_spread":0.3076247315751238,"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."}}