{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008666716,0.0006171868,0.0002778495,0.0005504841,0.0006082704,0.001990579,0.001134134,0.001271946,0.005105817],"category_scores_gemma":[0.001018189,0.0004042928,0.0007799831,0.0005977101,0.002000117,0.002709115,0.0006537679,0.001733112,0.002027794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001731427,"about_ca_system_score_gemma":0.002017005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002641085,"about_ca_topic_score_gemma":0.001467248,"domain_scores_codex":[0.9994716,0.0001309034,0.00004139248,0.00009680374,0.0002194765,0.00003985154],"domain_scores_gemma":[0.9996048,0.0001795954,0.00003559729,0.00006907273,0.00009192854,0.00001913763],"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.00001040409,0.00001601062,0.0000453393,0.0001369876,0.00000479018,0.0001011623,0.0002578486,0.005846263,0.002509058,0.9662237,0.003379206,0.02146932],"study_design_scores_gemma":[0.00003047406,0.00006453531,0.0001266283,0.0002732554,0.00002698218,0.0005659591,0.000148822,0.04009763,0.004657447,0.463506,0.4904721,0.00003019521],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007686117,0.004134117,0.8797919,0.002231177,0.0003850832,0.0001600877,0.0003778858,0.0008866066,0.1043471],"genre_scores_gemma":[0.1885133,0.007591336,0.6954573,0.001253332,0.0003615234,0.0007738301,0.001118863,0.0003629599,0.1045675],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005105817,"threshold_uncertainty_score":0.01708066,"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."}}