{"id":"W4210519183","doi":"10.4018/978-1-4666-0264-9.ch015","title":"The Formal Design Model of an Automatic Teller Machine (ATM)","year":2012,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Formal specification; Process (computing); Formal methods; Programming language; Code generation; Software engineering; Operating system","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.0006147358,0.0003763135,0.0003742125,0.00004171364,0.0003155451,0.0001265586,0.001354757,0.0002432583,0.000002815397],"category_scores_gemma":[0.00001380327,0.0002795839,0.0001952399,0.00002433214,0.0001454459,0.0001545616,0.0006520242,0.000315677,0.00003478348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006499095,"about_ca_system_score_gemma":0.0002836528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002314472,"about_ca_topic_score_gemma":0.00001986547,"domain_scores_codex":[0.9981655,0.00007003621,0.0004411245,0.0003821904,0.0004153325,0.0005257402],"domain_scores_gemma":[0.9982603,0.0001983939,0.0003289218,0.0008688514,0.0001664471,0.00017712],"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.000009564718,0.00001122245,5.734752e-7,0.000009312394,0.00004065725,0.000003487892,0.00007268169,0.0007463342,0.000002441797,0.6510439,0.0002910487,0.3477688],"study_design_scores_gemma":[0.0001966613,0.00008794572,0.000006579297,0.0001058479,0.00003090954,0.00002974343,0.00000137983,0.7055451,0.00003569004,0.2929365,0.000763571,0.0002600491],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00004402949,0.0008436252,0.5434046,0.00002568201,0.0002516141,0.0002333069,0.00001245031,0.0001614923,0.4550232],"genre_scores_gemma":[0.9023914,0.00002633749,0.06934153,0.0004700657,0.0004482994,0.00002016713,0.000003971275,0.00007104005,0.02722722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9023473,"threshold_uncertainty_score":0.9999656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03748131341143355,"score_gpt":0.247234386267657,"score_spread":0.2097530728562235,"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."}}