{"id":"W2056296112","doi":"10.1109/coginf.2006.365519","title":"Formal Specification and Representation of Design Patterns Using RTPA","year":2006,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Programming language; Formal specification; Specification pattern; Software design pattern; Unified Modeling Language; Software engineering; Formal methods; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001346181,0.00003854327,0.0000525986,0.00004137886,0.00004517875,0.00003520085,0.00008193538,0.00001632578,0.000003504051],"category_scores_gemma":[0.000005625985,0.00003594097,0.00001358564,0.0001344358,0.00001240248,0.000269303,0.00006238934,0.00002420352,9.255044e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006657215,"about_ca_system_score_gemma":0.000007137717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001022677,"about_ca_topic_score_gemma":0.000004004543,"domain_scores_codex":[0.9995488,0.0000373222,0.0001188945,0.0001329872,0.00007606689,0.00008591681],"domain_scores_gemma":[0.9996705,0.00008467515,0.00005878829,0.0001134274,0.00005962614,0.00001300085],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002816499,0.0001545643,0.09916899,0.00003252132,0.00001817791,0.000007368456,0.0006587459,0.01954489,0.02075869,0.07873125,0.0007265324,0.7801701],"study_design_scores_gemma":[0.0001483217,0.00002423721,0.0979906,0.00001655106,0.000002927688,0.000008657201,0.000016379,0.8755438,0.0240938,0.002078844,0.0000148484,0.00006100985],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2400296,0.00002246891,0.7588993,0.00002959816,0.00004173987,0.00004811046,1.561612e-7,0.0000265222,0.0009025609],"genre_scores_gemma":[0.9231396,0.000006274357,0.07674557,0.00001467805,0.00005466244,6.149261e-7,0.000001229784,0.000001781691,0.00003554479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8559989,"threshold_uncertainty_score":0.146563,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06642035207712095,"score_gpt":0.2792430783526865,"score_spread":0.2128227262755656,"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."}}