{"id":"W4244417354","doi":"10.4018/978-1-60566-902-1.ch013","title":"Formal Modeling and Specification of Design Patterns Using RTPA","year":2011,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Programming language; Software design pattern; Software engineering; Unified Modeling Language; Specification pattern; Software design; Software development; Software","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.0003044974,0.0002498933,0.000280863,0.00008025325,0.00008755357,0.00005698398,0.0003892461,0.0002144133,0.000002790564],"category_scores_gemma":[0.000005309885,0.0002597422,0.0000883582,0.00001749318,0.00004601238,0.0001132895,0.0003757424,0.0001838541,0.000004838502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006875223,"about_ca_system_score_gemma":0.00007663496,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004759348,"about_ca_topic_score_gemma":0.000007307138,"domain_scores_codex":[0.9987037,0.0000212491,0.0003617352,0.0004190143,0.0002204682,0.0002737926],"domain_scores_gemma":[0.9990494,0.0000450694,0.000251337,0.0003652117,0.0001987974,0.00009022759],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001910241,0.000005164172,0.00001757344,0.00002481622,0.00003143384,0.0000117953,0.0001406863,0.000432169,0.00001490071,0.8779713,0.00001002644,0.121321],"study_design_scores_gemma":[0.0002913996,0.0001262972,0.00004355986,0.0007806706,0.00006211786,0.00008700736,0.000006147126,0.6423891,0.0002104884,0.3553429,0.0001357593,0.0005245487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006443131,0.0002219587,0.7180657,0.000001961942,0.0001917321,0.0001390853,0.000007109516,0.00005372752,0.2806744],"genre_scores_gemma":[0.9680475,0.00001786137,0.03089145,0.00005960245,0.0002008715,0.000001153628,0.00000106972,0.00001982827,0.0007606834],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9674032,"threshold_uncertainty_score":0.9999855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09394819385256584,"score_gpt":0.2567074212647092,"score_spread":0.1627592274121434,"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."}}