{"id":"W2615372411","doi":"10.1017/cbo9781139164900","title":"Specifying Software","year":2002,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"Software Engineering Research","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Compiler; Programmer; Presentation (obstetrics); Software engineering; Software; Notation","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001462703,0.000415256,0.000404866,0.000421844,0.0002068524,0.0002042604,0.00306135,0.0004048062,0.000005448294],"category_scores_gemma":[0.0001282518,0.0005302675,0.0002318045,0.00005314258,0.0001296582,0.0002607241,0.001757551,0.0009559138,0.0001356713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007927138,"about_ca_system_score_gemma":0.0002880827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002593026,"about_ca_topic_score_gemma":2.267554e-7,"domain_scores_codex":[0.9976148,0.00006298096,0.0001773067,0.0008634217,0.0006788984,0.0006025866],"domain_scores_gemma":[0.997251,0.0005785135,0.0001222475,0.001547335,0.0001983156,0.0003025778],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000006002424,0.00001438454,0.00001250704,0.0001828559,0.00009836574,0.001515705,0.00007402714,0.00002670337,0.00000553103,0.2269496,0.7638998,0.007214454],"study_design_scores_gemma":[0.0003080554,0.00003595228,0.00005484339,0.000170764,0.000024971,0.000038322,0.000002258415,0.000692172,0.00009341543,0.000005027057,0.9980319,0.0005423303],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001195325,0.0002881184,0.1796828,0.00001164855,0.0005179805,0.0003007858,0.00004756584,0.001233513,0.8179057],"genre_scores_gemma":[0.00003810922,0.00006094787,0.008609484,0.00003275841,0.0002422213,0.000001184501,0.00001669888,0.00005724643,0.9909413],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2341321,"threshold_uncertainty_score":0.9997149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03056751811400413,"score_gpt":0.2071224819107944,"score_spread":0.1765549637967902,"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."}}