{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005148919,0.0009729975,0.0005625128,0.001432876,0.0007705042,0.003170762,0.001955771,0.001452124,0.004776845],"category_scores_gemma":[0.00991419,0.000894946,0.001083239,0.001844841,0.003439885,0.003853375,0.001630556,0.002328682,0.001719994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001687603,"about_ca_system_score_gemma":0.003059585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002104807,"about_ca_topic_score_gemma":0.001686617,"domain_scores_codex":[0.9952071,0.001397289,0.0004891415,0.0003985492,0.002287269,0.0002206973],"domain_scores_gemma":[0.9961491,0.002343581,0.0002553141,0.0006463382,0.0005441863,0.00006151838],"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.0000165911,0.00003675383,0.0001695357,0.0003648909,0.00001656053,0.0001441109,0.0006723017,0.01065365,0.005165375,0.9168254,0.003291342,0.06264338],"study_design_scores_gemma":[0.00006633289,0.00004498052,0.0001239654,0.0005051341,0.00003044306,0.0004054081,0.0002073364,0.05449954,0.01336858,0.7427601,0.1879476,0.00004049288],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002283139,0.0007565542,0.9850767,0.0005153567,0.00007298175,0.0001366995,0.0001387155,0.0005399138,0.01047997],"genre_scores_gemma":[0.06085072,0.0034225,0.9215174,0.0003622259,0.00009033763,0.0008322115,0.0007748949,0.0003183347,0.01183132],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005148919,"threshold_uncertainty_score":0.02723038,"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."}}