{"id":"W4242926184","doi":"10.1002/9780470612514","title":"Software Specification Methods","year":2006,"lang":"en","type":"book","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Software; Programming language; Software engineering","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.001544478,0.002749252,0.001547404,0.003350366,0.0008146367,0.003489631,0.001784759,0.001100276,0.08357849],"category_scores_gemma":[0.003116132,0.001364917,0.001444824,0.004373562,0.001382823,0.004362811,0.001394683,0.003742568,0.05486915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001874896,"about_ca_system_score_gemma":0.001495717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001781607,"about_ca_topic_score_gemma":0.002861081,"domain_scores_codex":[0.9984728,0.0002251687,0.0001047842,0.0002351809,0.0009060025,0.00005608706],"domain_scores_gemma":[0.9984364,0.0006896868,0.00004213814,0.0002539032,0.0005158311,0.00006209241],"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.00002343222,0.00005501409,0.0001139252,0.0005736783,0.00002303058,0.00007127687,0.0003038837,0.001780128,0.002121955,0.1477022,0.3311794,0.5160522],"study_design_scores_gemma":[0.00001685244,0.00002418397,0.0001670743,0.0002591508,0.00001582625,0.0002277606,0.00005758119,0.003880194,0.001172419,0.07303265,0.9211283,0.0000179278],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009683931,0.01370576,0.6082709,0.002586655,0.002167542,0.0001875293,0.0008956441,0.004677904,0.3665396],"genre_scores_gemma":[0.01025339,0.01338091,0.1296598,0.001044046,0.001132943,0.0003214033,0.002879592,0.003181714,0.8381463],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08357849,"threshold_uncertainty_score":0.2795979,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03658288294643618,"score_gpt":0.3201977255163564,"score_spread":0.2836148425699203,"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."}}