{"id":"W6893786196","doi":"10.5281/zenodo.3958960","title":"A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material","year":2020,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trent University","funders":"European Commission","keywords":"Argumentation theory; Iterative and incremental development; Process (computing); Requirements engineering; Semantics (computer science); Refinement; Formal specification; Refinement calculus; Graph","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.00557856,0.001995604,0.001886228,0.004695187,0.001500159,0.005219579,0.003787522,0.0032881,0.06585974],"category_scores_gemma":[0.01711337,0.002016691,0.004302316,0.006701317,0.002258492,0.007047182,0.004658171,0.005450838,0.02390926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002251798,"about_ca_system_score_gemma":0.002882091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003303436,"about_ca_topic_score_gemma":0.002808244,"domain_scores_codex":[0.996574,0.001047248,0.0004866429,0.0004485878,0.001286674,0.000156857],"domain_scores_gemma":[0.993237,0.004821341,0.0002080434,0.0006757998,0.0009178793,0.0001400806],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001260089,0.0002044837,0.0001597935,0.001206062,0.00005239295,0.0007878006,0.0009764718,0.01148726,0.003202218,0.7397447,0.05680006,0.1852527],"study_design_scores_gemma":[0.0001998502,0.00004992987,0.0001665996,0.0003893106,0.00005162562,0.0006534637,0.00009903138,0.05106943,0.003029844,0.3455988,0.5985526,0.0001395593],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0003347098,0.0003215538,0.9821616,0.0004610818,0.0002240705,0.0002948411,0.001278631,0.00563699,0.009286445],"genre_scores_gemma":[0.009030427,0.0006258243,0.976011,0.0002374595,0.0001565138,0.000875648,0.002402122,0.00193393,0.008727005],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06585974,"threshold_uncertainty_score":0.2203228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02773223172785679,"score_gpt":0.2413322559168513,"score_spread":0.2136000241889945,"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."}}