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 application/pdf
.
Logic-Based Model-Level Software Development with F-OML
[chapter]
2011
Lecture Notes in Computer Science
Models are at the heart of the emerging Model-driven Engineering (MDE ) approach in which software is developed by repeated transformations of models. Intensive efforts in the modeling community in the past two decades have produced an impressive variety of tool support for models. Nonetheless, models are still not widely used throughout the software evolution life cycle and, in many cases, they are neglected in later stages of software development. To make models more useful, one needs a
doi:10.1007/978-3-642-24485-8_38
fatcat:ldywbcboqfapbjtzena2a4pjoy