{"id":"W2492605659","doi":"10.4018/978-1-59904-219-0.ch005","title":"Formal Specification and Verification of Design Patterns","year":2007,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Formal methods; Specification pattern; Formal specification; Programming language; Formal verification; Software design pattern; Refinement; Software engineering; Software design; Mathematics; 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.0002534554,0.0002388776,0.0002419885,0.0001040547,0.00003367729,0.00004550063,0.0005321637,0.0002701788,0.000002727293],"category_scores_gemma":[0.000002272971,0.0002601736,0.00006413443,0.00001895176,0.00004456432,0.0001414869,0.0001654432,0.0001476786,0.000008229976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001281954,"about_ca_system_score_gemma":0.0000521831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001647993,"about_ca_topic_score_gemma":0.000002707708,"domain_scores_codex":[0.9987606,0.00001069198,0.0003552551,0.0003778494,0.0002972108,0.0001983621],"domain_scores_gemma":[0.9988325,0.00002454607,0.0002386536,0.0007060984,0.0001209457,0.00007728703],"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.000005393873,0.000003366604,0.00001134918,0.00002963341,0.00001200804,0.000004305889,0.00004928447,0.0000159279,0.00004967003,0.8869311,0.00008823691,0.1127997],"study_design_scores_gemma":[0.0008723264,0.0008082867,0.00342515,0.001298731,0.0001268381,0.0002432415,0.000003374229,0.0255373,0.0146785,0.822419,0.1281376,0.002449615],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002777193,0.0000889192,0.8715203,0.000008843534,0.0001102003,0.0002974872,0.0000219216,0.0003365787,0.1275879],"genre_scores_gemma":[0.1301076,0.00003163042,0.8665495,0.00005678936,0.0001088655,0.00002070914,0.000006551964,0.00003781458,0.00308054],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1300799,"threshold_uncertainty_score":0.999985,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04266989586049766,"score_gpt":0.2528981841921858,"score_spread":0.2102282883316882,"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."}}