{"id":"W4239415167","doi":"10.1201/b17480-11","title":"Category Theory And Model-driven Engineering: From Formal Semantics To Design Patterns And Beyond","year":2014,"lang":"en","type":"book-chapter","venue":"Apple Academic Press eBooks","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Waterloo; McMaster University","keywords":"Formal semantics (linguistics); Semantics (computer science); Computer science; Programming language; Software engineering; Epistemology; Philosophy","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002510349,0.00073914,0.0006414501,0.002066457,0.001141858,0.005506085,0.001576376,0.001605951,0.004244553],"category_scores_gemma":[0.004248311,0.0005235281,0.0008327473,0.003083123,0.01052013,0.009514835,0.002103474,0.003937634,0.001249048],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003812467,"about_ca_system_score_gemma":0.002265766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002472677,"about_ca_topic_score_gemma":0.001792249,"domain_scores_codex":[0.9984712,0.0006806082,0.00008556321,0.0001614144,0.0005215712,0.00007958531],"domain_scores_gemma":[0.9976742,0.001554054,0.00007452718,0.0003709492,0.0002385147,0.00008784296],"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.000001431819,0.000002553147,0.00002206464,0.00004601302,0.00000188142,0.00001075813,0.0002620434,0.0004129593,0.00006003015,0.9879345,0.002239424,0.009006343],"study_design_scores_gemma":[0.000002130064,0.000004785702,0.00002340213,0.00005160314,0.000001339214,0.00003695973,0.00008641413,0.001377039,0.00007688354,0.9426799,0.05565467,0.000004779968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005378265,0.02964319,0.7972361,0.0170461,0.001231927,0.00007255089,0.0001671664,0.0007144926,0.1485102],"genre_scores_gemma":[0.3283484,0.04089173,0.5414112,0.004228692,0.001683759,0.0007162344,0.000639408,0.001059049,0.08102161],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005506085,"threshold_uncertainty_score":0.0276615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02380055557522271,"score_gpt":0.2263529490612165,"score_spread":0.2025523934859938,"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."}}