{"id":"W2056449002","doi":"10.4018/jssci.2009070107","title":"The Formal Design Model of a Telephone Switching System (TSS)","year":2009,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Process (computing); Software engineering; Formal specification; Formal methods; Process calculus; Programming language; Generator (circuit theory); Software deployment; Software system; Software; Power (physics)","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.002622847,0.0001186131,0.0001574574,0.0002759235,0.0003954235,0.0003690333,0.00202382,0.00002950688,5.123807e-7],"category_scores_gemma":[0.0004722752,0.00008441236,0.00007563853,0.0005184317,0.0002517564,0.001147971,0.0002399435,0.0002073007,0.000001994566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001108447,"about_ca_system_score_gemma":0.000657279,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003320194,"about_ca_topic_score_gemma":4.356629e-7,"domain_scores_codex":[0.9973832,0.00004895045,0.000619466,0.0002137811,0.001490889,0.0002437484],"domain_scores_gemma":[0.9946556,0.0008467927,0.0005402337,0.0001265954,0.003719146,0.0001116264],"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.00003696914,0.00003280295,0.00004504039,0.000002482865,0.0000178534,0.00001022308,0.000477567,0.4338239,0.0002393545,0.05634415,0.00003834913,0.5089313],"study_design_scores_gemma":[0.0001058976,0.0001810266,0.0007476649,0.0001675155,0.000004683196,0.0003491714,0.0001329102,0.9422541,0.001687523,0.05425729,0.00001986883,0.00009240748],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01314966,0.0003275552,0.9851311,0.0006730848,0.0005147622,0.00006763883,0.000001143318,0.00002813011,0.0001069107],"genre_scores_gemma":[0.8306217,0.00005648453,0.1689972,0.0002295424,0.00008579525,7.147435e-7,1.706817e-7,0.00000241815,0.000005997394],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.817472,"threshold_uncertainty_score":0.3760794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02792481716276665,"score_gpt":0.2836685781891981,"score_spread":0.2557437610264314,"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."}}