{"id":"W1913203627","doi":"10.1109/hicss.1998.654765","title":"A specification method for cleanroom's black box description","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Programming language; Cleanroom; Readability; System requirements specification; Formal specification; Black box; Process (computing); Sequence diagram; Language Of Temporal Ordering Specification; Software engineering; Engineering drawing; Theoretical computer science; Engineering; Unified Modeling Language; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.000836986,0.00009915433,0.0001023686,0.0001003582,0.00009607582,0.0001555432,0.0005587467,0.00006783981,0.0001009793],"category_scores_gemma":[0.0001579057,0.0000935429,0.00006684435,0.0003320821,0.0000269879,0.0008835503,0.00005143058,0.00006760761,0.0003384093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007003536,"about_ca_system_score_gemma":0.000006444918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006121084,"about_ca_topic_score_gemma":0.000001843201,"domain_scores_codex":[0.9988966,0.0001161377,0.0002500397,0.0003554035,0.000175128,0.0002066786],"domain_scores_gemma":[0.9989743,0.00009387895,0.0001050616,0.000644778,0.0001220122,0.0000599291],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004487646,0.00005411601,0.00001398737,0.00001195593,0.000005003684,1.63649e-7,0.0005398308,0.00006821336,0.006086354,0.6875296,0.01124823,0.294438],"study_design_scores_gemma":[0.0002038457,0.00007520369,0.0006881828,0.000004190344,0.000004548226,0.00000579394,0.00004077971,0.9063644,0.02232758,0.01355053,0.05659549,0.0001394945],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002278421,0.00003038504,0.9777336,0.0009862824,0.0003614395,0.0003728013,0.000001039491,0.0002790859,0.02000757],"genre_scores_gemma":[0.01487137,0.00002189117,0.9809569,0.0003369098,0.0001080648,0.00005497084,0.000002525351,0.0000100393,0.00363734],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9062961,"threshold_uncertainty_score":0.4349679,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1114536578244719,"score_gpt":0.3251979267648235,"score_spread":0.2137442689403515,"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."}}