{"id":"W2025422984","doi":"10.1109/modre.2011.6045369","title":"Requirements verification in the presence of variability","year":2011,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Task (project management); Domain engineering; Domain (mathematical analysis); Verification; Position paper; Software product line; Product (mathematics); Software engineering; Software; Domain analysis; Systems engineering; Software system; Programming language; Software development; Engineering; Software construction; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.01582845,0.0005966739,0.001140529,0.0009664794,0.0008791478,0.002545818,0.002001739,0.002034917,0.0005505308],"category_scores_gemma":[0.05502653,0.001038166,0.001876684,0.0007858883,0.003149843,0.003546249,0.00328427,0.002730074,0.0001896141],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001461204,"about_ca_system_score_gemma":0.002692783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002073081,"about_ca_topic_score_gemma":0.001367557,"domain_scores_codex":[0.9704357,0.01549595,0.001339792,0.001888811,0.009737497,0.001102305],"domain_scores_gemma":[0.9222718,0.06049611,0.00469804,0.009036341,0.003049668,0.0004479967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000466339,0.0001692438,0.005095149,0.0004417336,0.0003192228,0.003282533,0.001955627,0.487784,0.02489799,0.3906876,0.001587072,0.08331358],"study_design_scores_gemma":[0.0001110687,0.0001398053,0.0005531855,0.0001243403,0.0000742951,0.0005490602,0.0001951012,0.7380755,0.01256204,0.2430544,0.004502899,0.00005834888],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06236853,0.0002204321,0.9325168,0.0009976946,0.0000388418,0.0000850078,0.00006954835,0.0005497946,0.003153377],"genre_scores_gemma":[0.7980384,0.0003463509,0.1998219,0.0002883548,0.00006584735,0.0001992604,0.0001469983,0.0001414691,0.0009515672],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01582845,"threshold_uncertainty_score":0.08370984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1570198484848522,"score_gpt":0.3226846333356359,"score_spread":0.1656647848507837,"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."}}