{"id":"W2895802172","doi":"10.1109/re.2018.00067","title":"BloomingLeaf: A Formal Tool for Requirements Evolution Over Time","year":2018,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Semantics (computer science); Constraint (computer-aided design); Architecture; Constraint satisfaction problem; Software engineering; Formal semantics (linguistics); Artificial intelligence; Programming language; Theoretical computer science; Engineering","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.008260602,0.001356512,0.0008603788,0.00305876,0.001437626,0.003781793,0.003356962,0.00208453,0.01745242],"category_scores_gemma":[0.02027849,0.002010958,0.00283158,0.001649343,0.002766667,0.007541918,0.004827474,0.003664864,0.003345668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002122122,"about_ca_system_score_gemma":0.003096499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005856892,"about_ca_topic_score_gemma":0.00908894,"domain_scores_codex":[0.996648,0.00101696,0.0005239311,0.0005635251,0.001042009,0.0002055541],"domain_scores_gemma":[0.988654,0.00791192,0.0007323417,0.001634138,0.0007998993,0.0002677059],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002816577,0.0002197157,0.00257672,0.001329026,0.0001545963,0.001281837,0.002545082,0.0685665,0.009435147,0.6923212,0.02740765,0.1938808],"study_design_scores_gemma":[0.0001503639,0.00009210534,0.0004001505,0.000488065,0.0000753808,0.0008510496,0.00035154,0.3831165,0.01620189,0.3476737,0.2504635,0.0001358001],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007655605,0.0000362454,0.9852683,0.0001900317,0.00002477936,0.0001425989,0.0004254822,0.01103166,0.00211522],"genre_scores_gemma":[0.02980498,0.000160647,0.9624221,0.0002421461,0.00002440237,0.0005412188,0.001088023,0.002250716,0.003465729],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01745242,"threshold_uncertainty_score":0.05838418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0176533603429046,"score_gpt":0.2589869411980613,"score_spread":0.2413335808551567,"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."}}