Consistent specification of interface suites in UML.
Ella E. RoubtsovaLouis C. M. van GoolRuurd KuiperH. B. M. JonkersPublished in: Softw. Syst. Model. (2002)
Keyphrases
- specification language
- formal methods
- sequence diagrams
- state machine
- uml diagrams
- high level
- user interface
- modeling language
- object oriented
- formal specification
- activity diagrams
- artificial intelligence
- uml class diagrams
- conceptual modeling
- user friendly
- conceptual model
- software systems
- software design
- formal verification
- software engineering
- description language
- interface design
- natural language interface
- business processes
- reactive systems
- human computer interaction
- unified modeling language
- class diagrams
- relational databases