{"id":"W2023008574","doi":"10.4018/jssci.2012040105","title":"Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA","year":2012,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Process (computing); Process calculus; Interface (matter); Software engineering; Programming language; 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":[],"consensus_categories":[],"category_scores_codex":[0.001987178,0.0001105105,0.000154771,0.0007570884,0.0001257143,0.0001339479,0.0009496801,0.00002733362,0.00000597091],"category_scores_gemma":[0.0001929908,0.0001008401,0.00005574831,0.0008015052,0.0001307347,0.001358721,0.0001616136,0.0001801411,0.000004126648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000224491,"about_ca_system_score_gemma":0.0004411662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002053449,"about_ca_topic_score_gemma":0.000003476335,"domain_scores_codex":[0.99766,0.0000539927,0.0005712808,0.0001919839,0.001266663,0.0002560862],"domain_scores_gemma":[0.9969332,0.0005468753,0.0004840867,0.0001090502,0.001804319,0.0001224444],"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.00005350471,0.0002551029,0.02421384,0.00002061641,0.00002874092,0.00001638506,0.002050964,0.1353024,0.0002936289,0.07473779,0.00003604373,0.762991],"study_design_scores_gemma":[0.0006287253,0.0002990546,0.2189697,0.0005846237,0.0000107988,0.0003066018,0.002067084,0.7658815,0.006151776,0.004683488,0.0001254734,0.000291227],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1565683,0.00007864054,0.8421431,0.0003604056,0.0006585413,0.00007388489,0.000003567247,0.00001573428,0.00009784146],"genre_scores_gemma":[0.942044,0.00001135983,0.05761889,0.0001778159,0.0001383542,0.000002769842,0.000001647143,0.000003894124,0.000001317694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7854756,"threshold_uncertainty_score":0.411214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03698158405598927,"score_gpt":0.3242241145663096,"score_spread":0.2872425305103203,"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."}}