{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002228448,0.001006941,0.0005555877,0.001416714,0.0006255059,0.003191891,0.002161135,0.001375083,0.004687763],"category_scores_gemma":[0.003963968,0.0008014143,0.001447276,0.001732826,0.00199957,0.003680631,0.001171388,0.002412526,0.002083653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001258918,"about_ca_system_score_gemma":0.001919779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00221447,"about_ca_topic_score_gemma":0.001768976,"domain_scores_codex":[0.9980935,0.000567533,0.0002437365,0.0003096394,0.0006673672,0.0001181325],"domain_scores_gemma":[0.9980544,0.0008055706,0.000276866,0.0005005018,0.0003124059,0.00005021189],"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.0000101317,0.00003114172,0.0001259259,0.000196057,0.0000136898,0.0002396512,0.0005888527,0.0148135,0.002979714,0.9413274,0.002094683,0.03757919],"study_design_scores_gemma":[0.00003952405,0.00005326841,0.0001334381,0.000254285,0.00003404535,0.0007850957,0.0001649146,0.1590782,0.006105105,0.6487161,0.1845903,0.00004578726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001748975,0.0003055714,0.9873016,0.0002265069,0.0000394146,0.00011598,0.0001439713,0.0004807455,0.009637287],"genre_scores_gemma":[0.04877915,0.0012945,0.9367812,0.0001675685,0.00007419642,0.0008119092,0.0006328023,0.0002420576,0.01121663],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004687763,"threshold_uncertainty_score":0.0156821,"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."}}