{"id":"W2058547748","doi":"10.1109/icst.2012.199","title":"Towards a Methodology for Verifying Partial Model Refinements","year":2012,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Model transformation; Partial evaluation; Programming language; Model checking; Semantics (computer science); Transformation (genetics); Encoding (memory); Formal specification; Theoretical computer science; Process (computing); Logic model; Unified Modeling Language; Program transformation; Data modeling; Partial order reduction; Software; Software engineering; Artificial intelligence","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.02048502,0.001179086,0.001367387,0.002764024,0.001448223,0.004468446,0.003146091,0.002492891,0.001917299],"category_scores_gemma":[0.06219334,0.001833625,0.004062261,0.001695335,0.005746829,0.007733339,0.006021966,0.004609614,0.0005207748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002335495,"about_ca_system_score_gemma":0.006583126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004697224,"about_ca_topic_score_gemma":0.003500764,"domain_scores_codex":[0.9758188,0.008468105,0.002959784,0.0022771,0.009390417,0.001085645],"domain_scores_gemma":[0.9447411,0.02694596,0.003500533,0.01436427,0.009820988,0.0006270784],"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.0001658279,0.0002088684,0.003250624,0.0007079928,0.0002005005,0.001034602,0.001897925,0.1497861,0.02229547,0.7159895,0.001439098,0.1030235],"study_design_scores_gemma":[0.0001225937,0.0002268629,0.0003722597,0.0002615259,0.0001538474,0.0005348697,0.0004268369,0.5078397,0.04740439,0.4287485,0.01381176,0.00009669222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005023152,0.00002666233,0.9933657,0.0001353352,0.00001244779,0.0001428374,0.00004757038,0.0007684813,0.0004777654],"genre_scores_gemma":[0.1212573,0.0001458783,0.8769283,0.0001509188,0.00002806056,0.0003845623,0.0002685471,0.0002293916,0.0006070438],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02048502,"threshold_uncertainty_score":0.1083364,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1814535806997531,"score_gpt":0.3645292381505438,"score_spread":0.1830756574507908,"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."}}