International audienceIn model-driven engineering, correct model transformation is essential for reliably producing the artifacts that drive software development. While the correctness of a model transformation can be specified and checked via contracts, debugging unverified contracts imposes a heavy cognitive load on transformation developers. To improve this situation, we present an automatic fault localization approach, based on natural deduction, for the ATL model transformation language. We start by designing sound natural deduction rules for the ATL language. Then, we propose an automated proof strategy that applies the designed deduction rules on the postconditions of the model transformation to generate sub-goals: successfully provi...
International audienceModel transformations play a cornerstone role with the emergence of Model Driv...
Model-based program debugging exploits discrepancies between the program behavior anticipated by a p...
International audienceMDE is a software development process where models constitute pivotal elements...
International audienceIn model-driven engineering, correct model transformation is essential for rel...
International audienceModel-driven engineering (MDE) is increasingly accepted in industry as an effe...
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essen...
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the...
Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), ...
Abstract. MDE is a software development process where models constitute piv-otal elements of the sof...
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses...
International audienceIn this work, we address the performance problem in the deductive verification...
Abstract. In model-driven engineering, models constitute pivotal elements of the software to be buil...
International audienceIn contract-based development of model transformations, continuous deductive v...
Abstract. MDE is being applied to the development of increasingly complex systems that require large...
Model-based program debugging exploits discrepancies between the program behavior anticipated by a p...
International audienceModel transformations play a cornerstone role with the emergence of Model Driv...
Model-based program debugging exploits discrepancies between the program behavior anticipated by a p...
International audienceMDE is a software development process where models constitute pivotal elements...
International audienceIn model-driven engineering, correct model transformation is essential for rel...
International audienceModel-driven engineering (MDE) is increasingly accepted in industry as an effe...
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essen...
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the...
Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), ...
Abstract. MDE is a software development process where models constitute piv-otal elements of the sof...
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses...
International audienceIn this work, we address the performance problem in the deductive verification...
Abstract. In model-driven engineering, models constitute pivotal elements of the software to be buil...
International audienceIn contract-based development of model transformations, continuous deductive v...
Abstract. MDE is being applied to the development of increasingly complex systems that require large...
Model-based program debugging exploits discrepancies between the program behavior anticipated by a p...
International audienceModel transformations play a cornerstone role with the emergence of Model Driv...
Model-based program debugging exploits discrepancies between the program behavior anticipated by a p...
International audienceMDE is a software development process where models constitute pivotal elements...