{"id":"W1505714538","doi":"10.1007/978-3-540-31810-1_10","title":"Applying Reduction Techniques to Software Functional Requirement Specifications","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Program slicing; Computer science; Slicing; Reuse; Functional requirement; Programming language; Non-functional requirement; Software requirements specification; Software engineering; Program comprehension; Software maintenance; Notation; Functional specification; Formal specification; Software development; Reliability engineering; Software; Software system; Software construction","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.001096771,0.0008166575,0.000631979,0.001632814,0.0005607557,0.000897788,0.001351674,0.0006095829,0.005618846],"category_scores_gemma":[0.004839743,0.0008394988,0.002038842,0.001121687,0.001296821,0.001587799,0.001271282,0.002253365,0.001569153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006432342,"about_ca_system_score_gemma":0.0007240563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002947237,"about_ca_topic_score_gemma":0.003815893,"domain_scores_codex":[0.9984017,0.0004712363,0.0001132827,0.0001311969,0.0007836726,0.00009893309],"domain_scores_gemma":[0.9971251,0.001956635,0.00007224323,0.0004615819,0.0003649384,0.00001950511],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001177013,0.0001526744,0.0004361687,0.0008108621,0.00009276525,0.0004344137,0.0007221758,0.05498644,0.02435395,0.2797035,0.01227585,0.6259136],"study_design_scores_gemma":[0.00008083422,0.0001373797,0.0006664164,0.0001964224,0.000139818,0.0006301788,0.0002361171,0.3487842,0.03632614,0.558327,0.05439813,0.00007740262],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005711689,0.0001750102,0.9835175,0.0001620067,0.00004155342,0.00008691703,0.00007416562,0.001308833,0.008922212],"genre_scores_gemma":[0.1556284,0.0007199561,0.8290214,0.0002329693,0.00008353146,0.0002724116,0.0009408193,0.001294058,0.01180645],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005618846,"threshold_uncertainty_score":0.01879692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06022933961130612,"score_gpt":0.2776802005003229,"score_spread":0.2174508608890168,"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."}}