{"id":"W6930861612","doi":"10.5281/zenodo.3856402","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":"Sports injuries and prevention","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trent University","funders":"","keywords":"Argumentation theory; Process (computing); Iterative and incremental development; Requirements engineering; Semantics (computer science); Refinement; Refinement calculus; Formal specification; 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.004379961,0.001837326,0.001566193,0.004569954,0.001179328,0.004782518,0.003457205,0.002824333,0.07146902],"category_scores_gemma":[0.01584415,0.001682488,0.00373431,0.006236757,0.001771461,0.005994076,0.004267985,0.004481455,0.02534508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001951886,"about_ca_system_score_gemma":0.002852594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002501937,"about_ca_topic_score_gemma":0.002123262,"domain_scores_codex":[0.9970273,0.0008217516,0.0004044388,0.0004118729,0.001181872,0.0001526733],"domain_scores_gemma":[0.9935787,0.00465549,0.0001943858,0.0006553048,0.0007993315,0.0001167577],"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.0001673191,0.0002358663,0.0002599274,0.001607728,0.00006786697,0.0008767279,0.001016207,0.01659491,0.004878958,0.6226245,0.07243471,0.2792352],"study_design_scores_gemma":[0.000221359,0.00006268379,0.0002377279,0.000504366,0.00005817257,0.0008404012,0.0001024686,0.05763852,0.005151131,0.3049902,0.6300336,0.0001594761],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004371524,0.000288985,0.9774342,0.0003838271,0.000153535,0.0002618,0.001716245,0.009992662,0.009331646],"genre_scores_gemma":[0.01137106,0.000679811,0.9709246,0.0002546739,0.0001141879,0.0008976196,0.003403445,0.002924542,0.009429977],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.07146902,"threshold_uncertainty_score":0.2390876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02366442223140239,"score_gpt":0.2562596232771081,"score_spread":0.2325952010457057,"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."}}