Tight Structuring for Precise UML-Based Requirement Specifications.
Egidio AstesianoGianna ReggioPublished in: RISSEF (2002)
Keyphrases
- specification language
- class diagram
- lower bound
- conceptual models
- formal specification
- requirements specification
- class diagrams
- database design
- upper bound
- modeling language
- conceptual modeling
- formal methods
- metamodel
- software architecture
- software systems
- software development
- uml diagrams
- object oriented
- unified modeling language
- high level
- databases
- description language
- uml profile
- generalization error bounds
- uml activity diagrams
- delay insensitive
- uml class diagrams
- finite state machines
- worst case
- knowledge base