{"id":"W3214123422","doi":"10.1007/s10270-021-00943-5","title":"CaRE: a refinement calculus for requirements engineering based on argumentation theory","year":2021,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Argumentation theory; Calculus (dental); Computer science; Refinement calculus; Mathematics; Epistemology; Programming language; Medicine; Philosophy","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.006794774,0.001012098,0.001180631,0.002274364,0.001901922,0.00436748,0.002189676,0.002113167,0.007629743],"category_scores_gemma":[0.0149546,0.001087439,0.003219825,0.001675532,0.00346237,0.005407398,0.004188596,0.003891051,0.001915399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001471443,"about_ca_system_score_gemma":0.003185983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004649704,"about_ca_topic_score_gemma":0.004774803,"domain_scores_codex":[0.9948055,0.001972642,0.0003740358,0.0004490379,0.002071991,0.0003267862],"domain_scores_gemma":[0.9938637,0.003849467,0.000256619,0.000881117,0.0009430463,0.0002060258],"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.0001067909,0.00007696423,0.0002634353,0.0002811967,0.00005764647,0.0002165187,0.0007101074,0.01632812,0.002853482,0.8924928,0.006586837,0.0800262],"study_design_scores_gemma":[0.000113713,0.00006728342,0.0001678833,0.000189359,0.0001220433,0.0001993217,0.0001762102,0.1289943,0.004576333,0.7943047,0.07101475,0.00007397557],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001215971,0.00008986928,0.9933243,0.0003053631,0.00008517778,0.0001302533,0.0001286315,0.001121954,0.003598402],"genre_scores_gemma":[0.08883658,0.0003117119,0.9029045,0.0003761728,0.0001372692,0.0003144426,0.000525991,0.0005649123,0.006028436],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007629743,"threshold_uncertainty_score":0.03593469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05087963705011631,"score_gpt":0.3008782617316422,"score_spread":0.2499986246815259,"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."}}