{"id":"W2129479919","doi":"10.1109/ccece.2002.1013022","title":"Case studies on translation of RTPA specifications into Java programs","year":2003,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Java; Code generation; Formal specification; Process calculus; Set (abstract data type); Software engineering; Notation; Process (computing); Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.0002546627,0.00006926431,0.00009292689,0.00005532604,0.0001000737,0.00002477864,0.000115793,0.00002185275,0.000004438831],"category_scores_gemma":[0.00004332855,0.00005740817,0.00003955016,0.0003499935,0.00004356244,0.00006738825,0.00001806801,0.00005752266,0.00001420981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001271903,"about_ca_system_score_gemma":0.000017138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005128993,"about_ca_topic_score_gemma":0.00002676419,"domain_scores_codex":[0.9993487,0.00007209845,0.0001780096,0.0001999152,0.0001015963,0.0000996801],"domain_scores_gemma":[0.9993443,0.0001907395,0.00005330983,0.0002265368,0.0001540125,0.00003108568],"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.000002970451,0.0002066451,0.0002284473,0.00001453877,0.00003479519,0.00006253835,0.004503704,0.0004012632,0.00008342122,0.1958339,0.000271689,0.7983561],"study_design_scores_gemma":[0.006357461,0.005332845,0.002983226,0.001105964,0.0002245436,0.004402781,0.01243665,0.5685101,0.115514,0.2290646,0.0505039,0.00356392],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1265083,0.0005183402,0.848875,0.0003922003,0.0004246964,0.0002738224,2.877275e-7,0.0001808959,0.02282647],"genre_scores_gemma":[0.9478787,0.00001814365,0.05190118,0.00004367824,0.00002380773,0.000007224375,6.994405e-7,0.000002911066,0.0001237046],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8213704,"threshold_uncertainty_score":0.2341037,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1677333949744727,"score_gpt":0.3253859925200335,"score_spread":0.1576525975455608,"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."}}