{"id":"W4246265994","doi":"10.1145/1083292.1083302","title":"Quality, cleanroom and formal methods","year":2005,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Cleanroom; Computer science; Software engineering; Software development; Quality (philosophy); Formal methods; Software quality; Systems engineering; Software; 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.01465887,0.001413262,0.001191191,0.004224651,0.001547016,0.00493003,0.003588818,0.002165118,0.004097838],"category_scores_gemma":[0.02381887,0.001049284,0.002751276,0.00200928,0.01640641,0.01300408,0.004527959,0.005701121,0.0009548649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003811697,"about_ca_system_score_gemma":0.004118409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003588151,"about_ca_topic_score_gemma":0.002307935,"domain_scores_codex":[0.9870803,0.004623295,0.001063965,0.001458219,0.005162316,0.0006120022],"domain_scores_gemma":[0.9706181,0.01784864,0.00216353,0.004979526,0.00386594,0.0005242132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002046953,0.0000453552,0.0002920968,0.0004371972,0.00003279498,0.00008809406,0.0005088844,0.008706048,0.0007726272,0.9223776,0.001994144,0.06472458],"study_design_scores_gemma":[0.00004742708,0.0000759562,0.000115815,0.0002932297,0.00003918307,0.0001951049,0.00013284,0.01512599,0.001731344,0.9231074,0.05907815,0.0000575917],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002005571,0.004514116,0.9811931,0.004054823,0.0002454743,0.00007462771,0.00002898614,0.000502618,0.007380749],"genre_scores_gemma":[0.09331799,0.006105579,0.8886523,0.001422874,0.0006004014,0.000310694,0.0001300277,0.0003743251,0.009085824],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01465887,"threshold_uncertainty_score":0.07752442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05331196725728852,"score_gpt":0.4116245168041157,"score_spread":0.3583125495468271,"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."}}