{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0159224,0.00145184,0.001200221,0.004311506,0.001576659,0.005276081,0.003777005,0.002238606,0.004335174],"category_scores_gemma":[0.02567241,0.001098923,0.002871777,0.002052368,0.01676775,0.01363979,0.004812652,0.005991395,0.001033764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004005147,"about_ca_system_score_gemma":0.004241285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003705554,"about_ca_topic_score_gemma":0.002341293,"domain_scores_codex":[0.9859055,0.005130225,0.001162444,0.001584686,0.005560196,0.0006570192],"domain_scores_gemma":[0.9685148,0.01951397,0.002227985,0.005233028,0.003962957,0.0005473541],"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.00002080705,0.00004757643,0.0002976486,0.0004616768,0.00003389968,0.00008607989,0.0005400626,0.008810828,0.0007284794,0.919305,0.002172629,0.06749535],"study_design_scores_gemma":[0.00004727976,0.00007034131,0.0001089112,0.0002970826,0.00003785538,0.0001756547,0.0001325862,0.01482519,0.001502796,0.9253752,0.05737099,0.00005602437],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001931275,0.004666853,0.9805676,0.004333439,0.0002604036,0.00008120403,0.00003225342,0.0005750109,0.007551953],"genre_scores_gemma":[0.08861323,0.006111497,0.89275,0.001513074,0.0006452679,0.0003324797,0.0001419302,0.0004178295,0.009474757],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0159224,"threshold_uncertainty_score":0.0842067,"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."}}