{"id":"W2025628838","doi":"10.4018/jcini.2008010108","title":"Formal Modeling and Specification of Design Patterns Using RTPA","year":2008,"lang":"en","type":"article","venue":"International Journal of Cognitive Informatics and Natural Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Programming language; Unified Modeling Language; Software engineering; Software design pattern; Specification pattern; Software development; Software design; Software; Artificial intelligence","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.003244406,0.0009282964,0.0005693227,0.001524674,0.0006702611,0.002931807,0.002064978,0.001288353,0.002681536],"category_scores_gemma":[0.006619499,0.0008541991,0.001903345,0.001521633,0.002023742,0.003289729,0.001216372,0.002182458,0.0009754606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001073796,"about_ca_system_score_gemma":0.002194165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002755489,"about_ca_topic_score_gemma":0.00228749,"domain_scores_codex":[0.9964953,0.00104691,0.0005491312,0.0005072869,0.001158796,0.0002424842],"domain_scores_gemma":[0.9961563,0.001412688,0.0007299277,0.0009725054,0.0006359747,0.0000925039],"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.00001886471,0.00005116179,0.0003270751,0.0001988878,0.00002939588,0.0003904536,0.0006876972,0.03763181,0.004624715,0.9254262,0.001261316,0.02935247],"study_design_scores_gemma":[0.00007749946,0.00009032874,0.0001999541,0.0001751484,0.00007201265,0.0008353311,0.0001920576,0.3540985,0.01046941,0.5404394,0.09328678,0.00006352004],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002142187,0.00008025822,0.9944795,0.0001202305,0.00001964377,0.0001016462,0.0000944014,0.0003782627,0.002583911],"genre_scores_gemma":[0.07506427,0.0005188709,0.9186235,0.0001221648,0.00006186467,0.0008659528,0.0004850711,0.0001681967,0.004090125],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003244406,"threshold_uncertainty_score":0.01715821,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07385821285854134,"score_gpt":0.3058313426883009,"score_spread":0.2319731298297596,"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."}}