{"id":"W2131878172","doi":"10.1109/tse.2003.1237169","title":"Template semantics for model-based notations","year":2003,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"University of Waterloo; University of Minnesota","keywords":"Computer science; Notation; Semantics (computer science); Programming language; Operational semantics; Structuring; Denotational semantics; Action semantics; Variety (cybernetics); Well-founded semantics; Theoretical computer science; Artificial intelligence; Mathematics","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.0002356646,0.0001455441,0.0001158009,0.0001948217,0.000171461,0.00006128138,0.00025775,0.00007448246,0.000003946092],"category_scores_gemma":[0.00008476161,0.0001657915,0.00009854628,0.000355752,0.00001223151,0.0003179533,5.405435e-7,0.0001520046,0.0000125706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007065873,"about_ca_system_score_gemma":0.0000673238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.313676e-7,"about_ca_topic_score_gemma":6.323684e-7,"domain_scores_codex":[0.9991351,0.00002019365,0.0002037461,0.0002523779,0.0001514423,0.0002371802],"domain_scores_gemma":[0.9991443,0.0002236087,0.00003916551,0.0004292838,0.00008937951,0.0000743194],"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.000002350154,0.00003614781,0.000001627368,0.00003275106,0.000009416787,3.837163e-7,0.00008197996,0.9842075,0.0005375054,0.01187056,0.00001644258,0.003203308],"study_design_scores_gemma":[0.0002360318,0.00003967807,0.000009199332,0.00002133146,0.00001124019,0.000003737395,0.000002540429,0.9207693,0.07776257,0.0002187622,0.0007524141,0.0001731827],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007026584,0.000009890624,0.9974793,0.00002994868,0.0008705769,0.000253457,0.00001594608,0.000618453,0.00001976735],"genre_scores_gemma":[0.2735963,0.000001788538,0.7261295,0.00005210562,0.000007489724,0.0001307261,9.230233e-7,0.00002019671,0.000060976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2728936,"threshold_uncertainty_score":0.6760781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02866367603896013,"score_gpt":0.2666123737194766,"score_spread":0.2379486976805165,"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."}}