A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approaches have advantages and disadvantages, and we here show how the advantages of one can be exploited to cover or weaken the disadvantages of the other. We also propose an inthe-loop integration which allows the development of a general framework for software engineering where rigorousness and preciseness of formaldoi:10.1109/icsea.2009.22 dblp:conf/icsea/GargantiniRS09 fatcat:u37ur6iy7baw3pmhorwac2ieue