{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005830876,0.001575403,0.0008486668,0.002561214,0.001097663,0.003062236,0.002878875,0.002022683,0.02672419],"category_scores_gemma":[0.0107806,0.001440081,0.002487916,0.001264991,0.002067008,0.005242157,0.003380663,0.003275197,0.01386331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001168913,"about_ca_system_score_gemma":0.003237106,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002822195,"about_ca_topic_score_gemma":0.002684272,"domain_scores_codex":[0.9950782,0.001366366,0.0006588141,0.0008229971,0.001748068,0.0003255816],"domain_scores_gemma":[0.9950919,0.002386139,0.000228624,0.001051059,0.00105429,0.0001879584],"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.0001233335,0.0001294649,0.000436014,0.0006150191,0.00007236408,0.000710523,0.00105172,0.005788453,0.01446664,0.6912779,0.03440929,0.2509192],"study_design_scores_gemma":[0.0001347038,0.0001292602,0.0001668128,0.0003108889,0.00008099896,0.001337353,0.000211488,0.07351519,0.03458126,0.1910126,0.6983281,0.0001913795],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001991806,0.00003844859,0.9948671,0.0001127066,0.00005475451,0.00009726098,0.0001175983,0.00272002,0.001792815],"genre_scores_gemma":[0.01163765,0.0002105577,0.9722197,0.0004020302,0.00005696181,0.0006402049,0.001017188,0.002717895,0.01109784],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02672419,"threshold_uncertainty_score":0.0894013,"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."}}