{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005627436,0.0001328195,0.00008789138,0.0001883042,0.0001622015,0.0004486933,0.001081925,0.00006426017,0.0001805945],"category_scores_gemma":[0.0006644408,0.0001087793,0.00003427632,0.0004626656,0.00007275872,0.0002687841,0.00005584763,0.0002568821,0.0004328577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000138296,"about_ca_system_score_gemma":0.00003684504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004953587,"about_ca_topic_score_gemma":0.00000312798,"domain_scores_codex":[0.9984819,0.00009258843,0.0002842806,0.00041719,0.0004793981,0.0002446683],"domain_scores_gemma":[0.9967412,0.002418177,0.00004666484,0.000601782,0.000101995,0.00009018851],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006556819,0.00014372,0.001862367,0.00000245838,0.00002733433,0.00001779417,0.0005585495,0.005058146,0.00006091636,0.08319491,0.0145015,0.8945068],"study_design_scores_gemma":[0.000833166,0.00006732766,0.2082191,0.00009661753,0.000003154519,0.00004712493,0.00008860588,0.02336222,0.0003564735,0.009622794,0.7568114,0.0004919443],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001892449,0.0003801043,0.985255,0.008942566,0.0004280722,0.0003381737,0.00000308391,0.0003211279,0.002439431],"genre_scores_gemma":[0.73896,0.00518904,0.2305066,0.001044742,0.0005093354,0.0005278828,0.00003893162,0.00006779211,0.02315565],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8940148,"threshold_uncertainty_score":0.5563654,"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."}}