{"id":"W2127127923","doi":"10.1109/ccece.2004.1349698","title":"Exploring Java code generation based on formal specifications in RTPA","year":2004,"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":"","keywords":"Computer science; Formal specification; Java; Programming language; Formal methods; Software engineering; Code generation; Code (set theory); Operating system; Key (lock); Set (abstract data type)","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.0001977484,0.00006972064,0.00005808532,0.0001206606,0.0001039938,0.00007729055,0.0002116795,0.00001909229,0.000006672715],"category_scores_gemma":[0.00001872793,0.00006684699,0.00002575335,0.000340701,0.000009456569,0.0003866067,0.00004888742,0.00009481602,0.00006134252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006588584,"about_ca_system_score_gemma":0.00004134595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001455772,"about_ca_topic_score_gemma":0.00009072555,"domain_scores_codex":[0.9993108,0.00002366872,0.0001206902,0.0002304098,0.000125638,0.0001888227],"domain_scores_gemma":[0.9995999,0.00005537681,0.00002477529,0.0002364705,0.00004346288,0.00004002229],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008313583,0.000253575,0.0004535642,0.000003613958,0.000003209773,0.00001492695,0.0006388507,0.5277103,0.0009679001,0.1898348,0.000468231,0.2796428],"study_design_scores_gemma":[0.0004918624,0.00006120292,0.01103252,0.00003234732,7.511393e-7,0.00000143175,0.0000137991,0.9812081,0.005728153,0.0004483426,0.0008602024,0.0001212638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09699278,0.000006555651,0.8940756,0.001603142,0.0002538444,0.00007502787,3.688207e-7,0.0001156368,0.006876999],"genre_scores_gemma":[0.9658496,0.00000803252,0.03342595,0.0004700671,0.0001684245,0.00001916962,0.000004564398,0.000003931337,0.00005021607],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8688568,"threshold_uncertainty_score":0.2725941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3032949959689072,"score_gpt":0.2743767770702987,"score_spread":0.02891821889860857,"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."}}