{"id":"W2179781000","doi":"10.1109/models.2015.7338256","title":"Fully verifying transformation contracts for declarative ATL","year":2015,"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":"McGill University","funders":"Christian Doppler Forschungsgesellschaft; Bundesministerium für Wissenschaft, Forschung und Wirtschaft; European Commission","keywords":"Computer science; Programming language; Model transformation; Transformation (genetics); Scalability; Set (abstract data type); Symbolic execution; Property (philosophy); Theoretical computer science; Software engineering; Artificial intelligence; Database; Software; Consistency (knowledge bases); Epistemology","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.009317245,0.0007387309,0.0006063655,0.0007680027,0.0008831036,0.00233867,0.001383218,0.001245055,0.002354674],"category_scores_gemma":[0.03183721,0.0009136804,0.001398974,0.0007023812,0.002392231,0.004647869,0.002857795,0.002457889,0.0006393502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00102004,"about_ca_system_score_gemma":0.004471934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003022158,"about_ca_topic_score_gemma":0.00345298,"domain_scores_codex":[0.9884222,0.003570615,0.001179932,0.001146532,0.005060071,0.0006206094],"domain_scores_gemma":[0.9635552,0.02300676,0.002101023,0.007236587,0.0038191,0.0002813213],"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.0008044119,0.0004407416,0.00794443,0.001209192,0.0002594157,0.002078429,0.003123475,0.1983841,0.1251921,0.4108008,0.00581812,0.2439449],"study_design_scores_gemma":[0.00023326,0.0003784237,0.0009603306,0.000161306,0.0001433132,0.0008179311,0.0003468306,0.5948769,0.1879022,0.1894133,0.0246689,0.00009722805],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02424783,0.00004904845,0.9702865,0.0001580488,0.00003141916,0.000103957,0.0001653164,0.003794328,0.001163599],"genre_scores_gemma":[0.4050826,0.000197802,0.5901638,0.0002786706,0.00004437617,0.0003010101,0.0008350138,0.001317947,0.001778812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009317245,"threshold_uncertainty_score":0.04927492,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0721742297479685,"score_gpt":0.2898288296484221,"score_spread":0.2176545999004536,"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."}}