{"id":"W4238852572","doi":"10.4018/9781605660608.ch041","title":"Formal Modeling and Specification of Design Patterns Using RTPA","year":2011,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Software engineering; Programming language","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.001967902,0.0009688492,0.0005186057,0.001254339,0.0005594384,0.002845409,0.001922263,0.001218063,0.004349366],"category_scores_gemma":[0.003424699,0.000754566,0.001372323,0.001510088,0.001741412,0.003265026,0.001048781,0.002176357,0.001870041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001074765,"about_ca_system_score_gemma":0.001632455,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001879908,"about_ca_topic_score_gemma":0.001511922,"domain_scores_codex":[0.99826,0.0005023288,0.0002209171,0.0002714566,0.0006362277,0.0001092543],"domain_scores_gemma":[0.9983904,0.0006476906,0.0002374228,0.0004261397,0.0002602122,0.00003817413],"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.00001172574,0.0000339428,0.0001356145,0.0002124454,0.00001499003,0.00026702,0.0005420094,0.01989825,0.004372059,0.9291814,0.00218669,0.04314382],"study_design_scores_gemma":[0.00004250111,0.00006317481,0.000142232,0.0002445415,0.00003733017,0.0008749671,0.0001570475,0.2009017,0.009168322,0.5878385,0.2004801,0.00004956449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001616383,0.0002403958,0.9891271,0.0001719127,0.00003529364,0.00009833876,0.0001206669,0.0004669846,0.008122924],"genre_scores_gemma":[0.05028061,0.001200159,0.9357204,0.0001492308,0.00006832973,0.0007335406,0.0005763384,0.0002508965,0.01102049],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004349366,"threshold_uncertainty_score":0.01455015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04911316276048869,"score_gpt":0.2186523555630637,"score_spread":0.169539192802575,"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."}}