Integrating UML and Algebraic Specification Techniques.
Liliana FavreSilvia ClericiPublished in: TOOLS (32) (1999)
Keyphrases
- specification language
- formal methods
- state machine
- sequence diagrams
- uml diagrams
- software systems
- activity diagrams
- formal specification
- object oriented
- metamodel
- software engineering
- uml models
- requirements specification
- tool support
- conceptual models
- formal verification
- conceptual modeling
- high level
- software design
- database design
- software development
- higher order
- modeling language
- software architecture
- constraint language
- uml class diagrams
- unified modeling language
- data model