Transformaciones MDA sobre especificaciones computacionales de UML 2.0 a Maude.
José Raúl RomeroNathalie MorenoAntonio VallecilloPublished in: JISBD (2005)
Keyphrases
- model driven architecture
- metamodel
- software development
- software engineering
- uml profile
- modeling language
- model driven engineering
- platform independent
- formal specification
- model driven
- development process
- unified modeling language
- unified modelling language
- software systems
- reverse engineering
- requirements engineering
- specification language
- life cycle
- uml models
- model driven development
- sequence diagrams
- class diagrams
- black box
- uml activity diagrams
- design patterns
- business process modeling
- class diagram
- object oriented modeling
- formal methods
- conceptual modeling
- equational theories
- database design
- data model
- database
- object oriented analysis and design
- uml class diagrams
- data sets
- state machine
- tool support