{"id":"W4241065075","doi":"10.4018/978-1-4666-0261-8.ch018","title":"The Formal Design Model of a Telephone Switching System (TSS)","year":2012,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Process calculus; Software engineering; Process (computing); Formal specification; Formal methods; Software deployment; Programming language; Systems design","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.0008903383,0.000869328,0.0003173581,0.0006741517,0.0005809222,0.002115768,0.001266162,0.001451104,0.007506083],"category_scores_gemma":[0.001208973,0.0004977465,0.0007933707,0.0006863585,0.002209081,0.003148151,0.0006216733,0.002081061,0.0030745],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002021471,"about_ca_system_score_gemma":0.002187701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002461578,"about_ca_topic_score_gemma":0.001458263,"domain_scores_codex":[0.9994855,0.0001285508,0.00004128574,0.00009269231,0.0002155658,0.00003634812],"domain_scores_gemma":[0.999499,0.0002563524,0.00003848666,0.00008354885,0.000104431,0.00001829554],"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.00000865909,0.00001929413,0.00005754596,0.0001976448,0.000006194266,0.0001055149,0.0002952557,0.006616281,0.002867911,0.9593196,0.004536749,0.0259693],"study_design_scores_gemma":[0.00002481866,0.00006537967,0.0001403934,0.0002880254,0.00002631329,0.0005942617,0.0001757706,0.03649835,0.003873521,0.5046034,0.4536771,0.00003267268],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004592833,0.003462423,0.9038273,0.002069963,0.0003589504,0.0001507004,0.0003613271,0.0007729328,0.08440354],"genre_scores_gemma":[0.1460911,0.009271896,0.735965,0.001413002,0.0003838788,0.0009780669,0.001371108,0.0004626503,0.1040633],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007506083,"threshold_uncertainty_score":0.0251103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03275179577669988,"score_gpt":0.2281367394091208,"score_spread":0.195384943632421,"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."}}