{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00925193,0.0002514934,0.000390992,0.001173494,0.0001785458,0.0007154238,0.004482844,0.0001133589,0.001600594],"category_scores_gemma":[0.0002269645,0.0002071696,0.00009019016,0.0004005028,0.001219155,0.0009319181,0.001639816,0.0002588922,0.004012308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001283561,"about_ca_system_score_gemma":0.0001948452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004509814,"about_ca_topic_score_gemma":0.000093305,"domain_scores_codex":[0.9947292,0.00007015083,0.0009935359,0.001279571,0.00256975,0.0003578044],"domain_scores_gemma":[0.9965622,0.0004647252,0.0004723982,0.002089831,0.0002862543,0.0001245353],"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.000002769789,0.00001432698,0.000006912733,0.000004497991,0.000001825318,0.00000749164,0.0008394613,0.00001393726,8.855166e-7,0.662463,0.01154446,0.3251004],"study_design_scores_gemma":[0.00006011655,0.00003138523,0.0006348237,0.00005300929,0.000002275051,0.000002509461,0.00001662489,0.0004810131,0.00001194807,0.5638002,0.4346919,0.000214212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00006350555,0.0001322292,0.2077672,0.0004484683,0.002010655,0.0002789959,0.00003038311,0.00006639306,0.7892022],"genre_scores_gemma":[0.0207324,0.0001702893,0.02707833,0.001644992,0.0006241942,0.00001174516,0.00001861594,0.00003065219,0.9496888],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4231474,"threshold_uncertainty_score":0.9993121,"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."}}