Constraint-Based Software Specifications and Verification Using UML.
Chin-Feng FanChun-Yin ChengPublished in: IEICE Trans. Inf. Syst. (2006)
Keyphrases
- formal methods
- software systems
- software development
- model checker
- software architecture
- written in natural language
- model checking
- modeling language
- requirements specification
- automated verification
- asynchronous circuits
- formal verification
- formal specification
- object oriented analysis and design
- reactive systems
- control flow
- uml models
- software engineering
- functional requirements
- specification language
- software maintenance
- regression testing
- testing process
- state machine
- software requirements
- uml diagrams
- delay insensitive
- software testing
- embedded systems
- requirements engineering
- concurrent systems
- metamodel
- database design
- bounded model checking
- finite state machines
- computer systems
- hardware designs
- uml profile
- source code
- uml activity diagrams