{"id":"W2098969028","doi":"10.5555/857171.857210","title":"The Dangerous 'All' in Specifications","year":2000,"lang":"en","type":"article","venue":"International Workshop on Software Specification and Design","topic":"Software Engineering Research","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; CONQUEST; Software; Software engineering; Natural language processing; Programming language; History","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.006853819,0.0009545612,0.0005859751,0.001550599,0.003018295,0.003951809,0.000807155,0.003174522,0.00339808],"category_scores_gemma":[0.01650319,0.0008416285,0.0007841528,0.0013725,0.01189855,0.01154173,0.003465513,0.005196685,0.0009182041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001987477,"about_ca_system_score_gemma":0.001361255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001746623,"about_ca_topic_score_gemma":0.001592929,"domain_scores_codex":[0.988729,0.006351822,0.0009157673,0.0010495,0.002404483,0.0005493815],"domain_scores_gemma":[0.9829261,0.01031799,0.00142795,0.002265689,0.002648527,0.000413672],"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.00008374154,0.00001158593,0.0006247544,0.0002216839,0.00001328977,0.0003641263,0.008980584,0.0003792587,0.002121323,0.9572091,0.01122368,0.01876688],"study_design_scores_gemma":[0.0000222668,0.00009377929,0.0008875523,0.0003438149,0.00004826433,0.001667951,0.004634989,0.002813036,0.00613997,0.8000864,0.18319,0.00007194361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1075317,0.01204417,0.6828972,0.05858428,0.002525328,0.0001606382,0.001176053,0.003090554,0.1319902],"genre_scores_gemma":[0.8957162,0.002488961,0.07865721,0.009756442,0.0006380491,0.0001460745,0.0006488255,0.0009395295,0.01100876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006853819,"threshold_uncertainty_score":0.0362469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1009210075634949,"score_gpt":0.3156254154670062,"score_spread":0.2147044079035113,"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."}}