{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009548809,0.00177646,0.001297397,0.002349884,0.001660716,0.008070885,0.003977988,0.003016178,0.005300296],"category_scores_gemma":[0.01416987,0.001377954,0.003566513,0.002521955,0.004931232,0.01242444,0.003709793,0.004648354,0.002521912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002759572,"about_ca_system_score_gemma":0.003300828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002263238,"about_ca_topic_score_gemma":0.001698299,"domain_scores_codex":[0.9887117,0.004217786,0.002247497,0.001146392,0.003011307,0.0006652231],"domain_scores_gemma":[0.9903609,0.003760088,0.0009606172,0.002522713,0.001964742,0.0004309724],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001298941,0.0000128941,0.00005285742,0.00007823511,0.00001086488,0.00008266545,0.0003967463,0.003187499,0.0006995643,0.9885754,0.000998746,0.005891635],"study_design_scores_gemma":[0.00003652403,0.0000473871,0.00002825585,0.0001212897,0.00003380718,0.0002145198,0.0001505399,0.03221411,0.003495903,0.8856237,0.07799435,0.00003957234],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001126836,0.0001521777,0.9933097,0.000319382,0.000103116,0.0001124551,0.0001432225,0.0009517887,0.003781195],"genre_scores_gemma":[0.08119834,0.0007390454,0.9097227,0.000611746,0.0002555656,0.001231036,0.001020203,0.0007980035,0.004423312],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009548809,"threshold_uncertainty_score":0.05049956,"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."}}