{"id":"W1596327296","doi":"","title":"Research Questions for Validation and Verification in the Context of Model-Based Engineering","year":2013,"lang":"en","type":"preprint","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Context (archaeology); Abstraction; Software engineering; Model validation; Systems engineering; Data science; Programming language; Engineering","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.001417435,0.0001139097,0.0001468537,0.000332297,0.00003222128,0.0001118927,0.0007801356,0.000150214,6.336092e-7],"category_scores_gemma":[0.00005266859,0.00009564395,0.0000357961,0.0001868395,0.0000309528,0.0001421291,0.0002269192,0.0003400574,5.858714e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006833583,"about_ca_system_score_gemma":0.0001027504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001912721,"about_ca_topic_score_gemma":0.000005204208,"domain_scores_codex":[0.9989638,0.00007473785,0.0002498143,0.0003128847,0.0002446672,0.0001541355],"domain_scores_gemma":[0.9985283,0.0003108967,0.00005983454,0.0007646475,0.0003110815,0.0000252592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001350705,0.0000271988,0.00001866098,0.0001760576,0.000003564415,7.660931e-8,0.0006370165,0.3692918,0.0006101115,0.619323,0.0002399193,0.009671275],"study_design_scores_gemma":[0.00007143867,0.00002371428,0.0001883436,0.0001147171,0.000002208416,3.083221e-7,0.000005343137,0.9863445,0.005168017,0.007664393,0.0003257378,0.00009133376],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009850089,0.00005652636,0.9881512,0.000600506,0.00005023702,0.001066203,0.000007505423,0.0001956619,0.00002206161],"genre_scores_gemma":[0.5203769,0.00001150033,0.4788842,0.00001107179,0.000007905518,0.0006827802,0.00001161568,0.000006597117,0.000007385381],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6170526,"threshold_uncertainty_score":0.3900247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08015259561823944,"score_gpt":0.3416359033215013,"score_spread":0.2614833077032618,"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."}}