{"id":"W1980301902","doi":"10.4018/jssci.2010101907","title":"The Formal Design Model of an Automatic Teller Machine (ATM)","year":2010,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Japan Society for the Promotion of Science","keywords":"Computer science; Formal specification; Process (computing); Formal methods; Programming language; Code generation; Software engineering; Operating system; Key (lock)","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":[],"consensus_categories":[],"category_scores_codex":[0.002703765,0.0001151619,0.0001333774,0.0002427994,0.0004014433,0.0003676379,0.002370541,0.00003527311,0.000003385403],"category_scores_gemma":[0.0007935007,0.00008145589,0.00006039005,0.0003911596,0.0007090691,0.001532273,0.0003553932,0.0003107506,0.000002171606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002779848,"about_ca_system_score_gemma":0.000987619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009986479,"about_ca_topic_score_gemma":0.000005821484,"domain_scores_codex":[0.9976931,0.00004943562,0.0005421375,0.0002117703,0.001287758,0.0002158294],"domain_scores_gemma":[0.9948528,0.0009732965,0.0004459713,0.000165104,0.003421968,0.0001408061],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002117832,0.00007790779,0.0001085543,0.000002093387,0.00002121149,0.000006979445,0.000451591,0.2559268,0.0003852622,0.0422759,0.0000300046,0.7006925],"study_design_scores_gemma":[0.0001022447,0.0001176217,0.0008897444,0.00003247684,0.000003322389,0.0002672179,0.00004083764,0.8960547,0.001962306,0.1004076,0.000037143,0.00008473607],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06123319,0.000102076,0.9370652,0.0006355287,0.0008155425,0.00006189012,0.000002213785,0.00002349654,0.00006080406],"genre_scores_gemma":[0.7105212,0.0000247307,0.2892117,0.000162923,0.00006607269,0.000001109253,4.276532e-7,0.00000333305,0.000008552256],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7006078,"threshold_uncertainty_score":0.4405094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02828604973800589,"score_gpt":0.3008910759400893,"score_spread":0.2726050262020834,"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."}}