{"id":"W4249087381","doi":"10.4018/978-1-60566-060-8.ch041","title":"Formal Modeling and Specification of Design Patterns Using RTPA","year":2009,"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 engineering; Software design pattern; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002268746,0.0009863982,0.0005554106,0.00137251,0.0006233369,0.003126354,0.002141831,0.001352142,0.004499721],"category_scores_gemma":[0.004012692,0.0007913283,0.001429491,0.001670796,0.001981545,0.003647317,0.001142767,0.002346155,0.00196202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001224472,"about_ca_system_score_gemma":0.001896063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002195672,"about_ca_topic_score_gemma":0.001755138,"domain_scores_codex":[0.9980941,0.0005672286,0.000247884,0.0003073302,0.0006655855,0.0001179074],"domain_scores_gemma":[0.9980054,0.0008274188,0.0002883858,0.0005106906,0.0003178021,0.00005032106],"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.00001020736,0.00003104812,0.0001266445,0.0001876297,0.00001381102,0.0002424256,0.0005835579,0.01546877,0.002976515,0.9417526,0.002012052,0.0365948],"study_design_scores_gemma":[0.0000419641,0.00005543775,0.0001329663,0.0002400671,0.00003527812,0.0007911131,0.0001652536,0.1707177,0.006320183,0.6456875,0.1757665,0.00004599081],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001745207,0.0002640775,0.9881986,0.000213008,0.00003650467,0.0001131112,0.0001345281,0.0004646006,0.008830349],"genre_scores_gemma":[0.048262,0.001137366,0.9383431,0.0001590935,0.00006873042,0.0007927306,0.0005812127,0.0002228576,0.01043294],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004499721,"threshold_uncertainty_score":0.01505309,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06622921885178608,"score_gpt":0.2610311234234335,"score_spread":0.1948019045716475,"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."}}