{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004554515,0.00008940041,0.00008195283,0.00005753259,0.0002504499,0.0001022681,0.0003568056,0.00005031579,0.000115185],"category_scores_gemma":[0.00004318821,0.00007863992,0.0000462013,0.0001329187,0.00002446465,0.0008153222,0.000122713,0.00004092538,0.0002856964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004653404,"about_ca_system_score_gemma":0.00005612718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002049537,"about_ca_topic_score_gemma":0.000002414341,"domain_scores_codex":[0.9990888,0.00001720301,0.0001583757,0.0002392391,0.0001549531,0.0003414727],"domain_scores_gemma":[0.9994554,0.00006736917,0.00005802097,0.0002875536,0.00008654362,0.00004510993],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003066303,0.0003673027,0.03011878,0.0001533701,0.0001946239,0.00001122276,0.004229522,0.0002047976,0.04070606,0.3485243,0.4314143,0.143769],"study_design_scores_gemma":[0.001211719,0.0008422034,0.003596811,0.00006853757,0.00001421166,0.00001009774,0.000006366951,0.9500424,0.005644448,0.009206425,0.02896755,0.0003892893],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03489374,0.00001879386,0.9587429,0.0002007501,0.0002518412,0.000178488,0.000002768639,0.0002155912,0.005495103],"genre_scores_gemma":[0.7957246,2.311784e-7,0.1968149,0.0006057966,0.0002686642,0.00002090925,0.000006116079,0.000008181682,0.006550667],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9498376,"threshold_uncertainty_score":0.3672144,"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."}}