{"id":"W1594158026","doi":"10.1007/978-3-540-73770-4_2","title":"Testable Requirements and Specifications","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Computer science; Eiffel; System requirements specification; Artifact (error); Formal specification; Software requirements specification; Programming language; Requirements analysis; Software engineering; Software design; Software development; Object-oriented programming; Artificial intelligence; Software","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.001785202,0.001269409,0.0006926909,0.001388396,0.0004690033,0.002947945,0.001619414,0.001834718,0.0178974],"category_scores_gemma":[0.005573845,0.001000223,0.0008188955,0.001304076,0.003319765,0.004517802,0.001569196,0.002984704,0.005482651],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00120967,"about_ca_system_score_gemma":0.0008802598,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006209293,"about_ca_topic_score_gemma":0.0006088835,"domain_scores_codex":[0.9975738,0.0006677045,0.0001822593,0.000202422,0.001277906,0.00009588815],"domain_scores_gemma":[0.9973661,0.001716011,0.00009660922,0.0005339857,0.0002492125,0.00003805185],"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.00001215814,0.00001966599,0.00002422398,0.000204664,0.000006135292,0.0000890242,0.0002277108,0.002208977,0.001135129,0.928355,0.007124701,0.0605926],"study_design_scores_gemma":[0.0000201146,0.0000330859,0.00005222615,0.0002152067,0.00001064095,0.0002307893,0.00009081056,0.005521366,0.003511676,0.8392841,0.1510153,0.00001452442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003262187,0.003768497,0.6828758,0.002474615,0.0004967462,0.0002461164,0.0002913096,0.000885065,0.3056996],"genre_scores_gemma":[0.2230541,0.01465391,0.4139111,0.002209269,0.0007525763,0.001497966,0.002418136,0.001489931,0.3400129],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0178974,"threshold_uncertainty_score":0.05987275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1073148870248733,"score_gpt":0.3223114675278867,"score_spread":0.2149965805030133,"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."}}