{"id":"W2489291216","doi":"10.1007/b102837","title":"Formal Methods and Software Engineering","year":2004,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Software engineering; Computer science; Formal methods; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013594,0.002069012,0.001960157,0.002415606,0.0008928593,0.00287661,0.001370151,0.001501505,0.02307106],"category_scores_gemma":[0.002948322,0.001117401,0.001015414,0.002605877,0.003269413,0.004857224,0.001574253,0.003730219,0.01161908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001604773,"about_ca_system_score_gemma":0.00141782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001048117,"about_ca_topic_score_gemma":0.001277201,"domain_scores_codex":[0.9986539,0.0003290289,0.00007357643,0.000157193,0.0007268192,0.00005944983],"domain_scores_gemma":[0.9985217,0.0009600046,0.00005421324,0.000232541,0.0001900279,0.00004153804],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001706693,0.00006296612,0.00008709675,0.0007419246,0.00002900536,0.00005192241,0.0004450922,0.002805169,0.0008769765,0.6423375,0.07734364,0.2752017],"study_design_scores_gemma":[0.00001716235,0.00002252306,0.0001029792,0.0003560009,0.00001956627,0.0001678756,0.0000670244,0.003216486,0.0005262374,0.6528512,0.3426375,0.00001553071],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.001711183,0.1113305,0.6014346,0.005574506,0.004044404,0.0001395997,0.0002418438,0.001957416,0.2735659],"genre_scores_gemma":[0.06415067,0.08926654,0.2288086,0.002739295,0.004025063,0.0007072153,0.00091337,0.001818097,0.6075712],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02307106,"threshold_uncertainty_score":0.07718033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01065806386428246,"score_gpt":0.2657019735173698,"score_spread":0.2550439096530874,"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."}}