Modelado formal y ejecutabilidad de diagramas de clases de UML.
José Luis Fernández AlemánJosé Ambrosio Toval ÁlvarezPublished in: JISBD (1999)
Keyphrases
- formal methods
- requirements specification
- object oriented
- unified modeling language
- software systems
- metamodel
- class diagrams
- sequence diagrams
- software development
- formal specification
- software engineering
- formal model
- database
- formal analysis
- requirements engineering
- expert systems
- model checking
- conceptual modeling
- formal representation
- state machine
- data model
- case study