{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.05822244,0.001243287,0.00300353,0.003781346,0.003506691,0.01150742,0.00411713,0.009996251,0.005713834],"category_scores_gemma":[0.1779126,0.001409801,0.002247611,0.005339611,0.02670005,0.03762325,0.008005732,0.01299019,0.001100469],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006227298,"about_ca_system_score_gemma":0.00601221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002836999,"about_ca_topic_score_gemma":0.001103341,"domain_scores_codex":[0.9371921,0.04734305,0.002433708,0.003263172,0.008520056,0.001247902],"domain_scores_gemma":[0.6671572,0.2942995,0.005217603,0.01724005,0.01419773,0.00188802],"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.00001564587,0.00003637476,0.0002319186,0.0003335105,0.00001907384,0.00008646345,0.0005689096,0.002247414,0.0001046741,0.9843561,0.001916925,0.010083],"study_design_scores_gemma":[0.000007977982,0.00001223604,0.00005918274,0.0003977434,0.000006811031,0.00004521176,0.000233047,0.007193982,0.0001421106,0.9843405,0.007544904,0.00001629072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01435363,0.05609377,0.7764088,0.126231,0.002018516,0.0001523209,0.0001340166,0.0003444916,0.02426344],"genre_scores_gemma":[0.588922,0.05079721,0.3353069,0.01243203,0.005795627,0.000787548,0.0006225575,0.0004804191,0.004855671],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05822244,"threshold_uncertainty_score":0.3079134,"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."}}