Formal and Tool Support for Model Driven Engineering with Maude.
José Raúl RomeroJosé Eduardo RiveraFrancisco DuránAntonio VallecilloPublished in: J. Object Technol. (2007)
Keyphrases
- tool support
- model driven engineering
- software engineering
- model driven architecture
- formal specification
- software development
- model driven
- design decisions
- requirements engineering
- software projects
- software tools
- reverse engineering
- design patterns
- software systems
- data sets
- development process
- data driven
- trade off
- expert systems
- information systems
- machine learning