{"id":"W4233809590","doi":"10.4018/9781605669021.ch013","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.002150255,0.0009204579,0.0005229835,0.001305521,0.0005858364,0.003022504,0.001984736,0.001166704,0.005093655],"category_scores_gemma":[0.003547235,0.0007994678,0.001376866,0.001587124,0.001716773,0.003332805,0.001080038,0.002197556,0.002211847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00116994,"about_ca_system_score_gemma":0.001903738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002114464,"about_ca_topic_score_gemma":0.001966819,"domain_scores_codex":[0.9982702,0.000515507,0.0002108842,0.0002565509,0.0006410694,0.0001058833],"domain_scores_gemma":[0.9983308,0.0007093882,0.0002253144,0.0004100883,0.0002859982,0.00003848896],"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.00001170058,0.00003408299,0.000131838,0.0002265558,0.00001440551,0.0002389114,0.0006134228,0.01947092,0.003517223,0.9317725,0.002289404,0.04167899],"study_design_scores_gemma":[0.00004202167,0.00005337326,0.0001446997,0.0002941263,0.00003554195,0.0007124529,0.0001987032,0.193539,0.008165065,0.5638298,0.2329384,0.0000468606],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00172243,0.0003044012,0.9861222,0.0002094518,0.00003621646,0.0001297564,0.0001626695,0.0005439104,0.010769],"genre_scores_gemma":[0.04721943,0.001353532,0.9370153,0.0001485438,0.00005680927,0.0008091534,0.0006561598,0.0002778037,0.01246334],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005093655,"threshold_uncertainty_score":0.01704001,"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."}}