{"id":"W4251956775","doi":"10.1007/978-0-85729-277-3_3","title":"Specification Qualities","year":2011,"lang":"en","type":"book-chapter","venue":"Texts in computer science","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Formal specification; Formal methods; Software engineering; Software requirements specification; Software development process; Programming language; Software development; Software; Software design","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.005870409,0.001090841,0.0008745531,0.002229083,0.001625462,0.00854116,0.001510595,0.001727867,0.06181625],"category_scores_gemma":[0.02420494,0.001003798,0.001251976,0.002751323,0.005090008,0.01381071,0.003343277,0.00483786,0.01293366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002804537,"about_ca_system_score_gemma":0.001965608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002024783,"about_ca_topic_score_gemma":0.0009913774,"domain_scores_codex":[0.9928758,0.001852375,0.0006679052,0.00136378,0.002762794,0.0004773795],"domain_scores_gemma":[0.9879668,0.006044767,0.0003988236,0.003331065,0.002012054,0.0002464523],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000007826853,0.000006624231,0.00008474643,0.00005606853,0.000004250373,0.00001753014,0.0002237561,0.0003460288,0.000154509,0.973409,0.005279611,0.02041007],"study_design_scores_gemma":[0.00001153123,0.0000136272,0.0001033522,0.00008375477,0.00001203748,0.0001050528,0.0001886421,0.001373705,0.001005093,0.8930287,0.1040626,0.0000118268],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00650413,0.002461497,0.3950394,0.006493497,0.0004339718,0.0002187819,0.001030441,0.001030192,0.5867881],"genre_scores_gemma":[0.4515193,0.005158776,0.1905955,0.00350501,0.0009801772,0.0008371389,0.004310066,0.002543883,0.3405501],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.06181625,"threshold_uncertainty_score":0.2067959,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3559857135491262,"score_gpt":0.4049652110917449,"score_spread":0.04897949754261866,"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."}}