{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000300616,0.0002547781,0.0002932043,0.00008352374,0.0000936208,0.00008103852,0.0003609923,0.0002120346,0.000001175909],"category_scores_gemma":[0.000005721277,0.000269037,0.00009110002,0.00002129997,0.0000343095,0.0001105523,0.0002363267,0.0001928012,0.000002879985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000897083,"about_ca_system_score_gemma":0.00007795031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001906153,"about_ca_topic_score_gemma":0.000005038736,"domain_scores_codex":[0.9986377,0.00002110683,0.00037151,0.0004239445,0.0002643626,0.0002813236],"domain_scores_gemma":[0.9990957,0.00004946624,0.0002365443,0.0003431567,0.0001865737,0.00008859718],"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.00001644769,0.00000536115,0.000007652553,0.00001740694,0.00002216896,0.00001469736,0.00006974303,0.002223303,0.00001987395,0.655801,0.00001216136,0.3417902],"study_design_scores_gemma":[0.0002347933,0.0001117454,0.00003563333,0.000611256,0.00003882088,0.00007039032,0.000004022317,0.8023497,0.0001037607,0.1959277,0.0001361927,0.0003759151],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006316791,0.0002775523,0.7597206,0.000006289792,0.0001398959,0.0001517936,0.000006314122,0.0000618218,0.239004],"genre_scores_gemma":[0.954978,0.00002070639,0.04359167,0.0001318959,0.000282458,7.705059e-7,0.000001555651,0.00001756003,0.0009753367],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9543464,"threshold_uncertainty_score":0.9999762,"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."}}