{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008528345,0.0002738822,0.0003111907,0.0001501004,0.0001582229,0.0001557624,0.0004247084,0.00009690433,0.000001259672],"category_scores_gemma":[0.001309804,0.0002835963,0.0001280517,0.0002908487,0.000007965611,0.000293921,0.0001251456,0.0001471609,0.000004813592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004219644,"about_ca_system_score_gemma":0.000139142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009593499,"about_ca_topic_score_gemma":8.277192e-7,"domain_scores_codex":[0.9978663,0.000148182,0.0004537378,0.0006523219,0.0004286411,0.0004508168],"domain_scores_gemma":[0.997864,0.0008392,0.0001054224,0.0007829774,0.0003168122,0.00009156021],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001157777,0.00001785375,0.00001963359,0.0003480422,0.00002281354,0.00001260978,0.0003558765,0.9839227,0.000656829,0.007111799,0.00001263496,0.007507639],"study_design_scores_gemma":[0.0005991381,0.00008198092,0.000003858321,0.0004296515,0.00001675615,0.000005073412,0.0002335444,0.9950943,0.001778307,0.00104986,0.0003836057,0.0003239417],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001276277,0.001158521,0.9938796,0.00004093156,0.002015688,0.0004806574,0.0000141638,0.001116267,0.00001792903],"genre_scores_gemma":[0.262136,0.000005774054,0.7371519,0.0001096519,0.0001139,0.0003376288,0.00004412345,0.00004346195,0.00005751701],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2608597,"threshold_uncertainty_score":0.9999616,"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."}}