{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002788938,0.00008887989,0.0001019223,0.00005678604,0.00003654351,0.00007884802,0.0003179791,0.00005459129,0.000001403904],"category_scores_gemma":[0.00001309706,0.00008039725,0.00003710762,0.0001039703,0.000009221072,0.0008725606,0.00002714058,0.00005889596,0.00001007565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005915381,"about_ca_system_score_gemma":0.00005583815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009205754,"about_ca_topic_score_gemma":0.00000363589,"domain_scores_codex":[0.9993787,0.00001394555,0.0001462355,0.0001503007,0.0001447032,0.0001660506],"domain_scores_gemma":[0.9994719,0.00004143719,0.0000319947,0.0002105418,0.0001533718,0.00009076719],"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.00001040488,0.0000211049,0.00001632282,0.000012737,0.0000100743,0.00000144261,0.002932657,0.001787745,0.0005145663,0.8933269,0.002347131,0.09901892],"study_design_scores_gemma":[0.0006737435,0.0002326115,0.00009240532,0.00002074415,0.000004697153,0.00001139125,0.00001559166,0.7313386,0.03309501,0.011461,0.2228001,0.0002541634],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001545138,0.0000267843,0.9950692,0.0004174057,0.0001402379,0.0003501205,0.000001733284,0.0009558652,0.001493491],"genre_scores_gemma":[0.2958837,0.000001629522,0.7038487,0.0001217441,0.00001983841,0.00006353352,0.00000302175,0.00000540156,0.00005238391],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8818659,"threshold_uncertainty_score":0.3278505,"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."}}