Software Patterns for Traceability of Requirements to Finite State Machine Behavior.
Parastoo DelgoshaeiMark AustinPublished in: CSER (2012)
Keyphrases
- finite state machines
- software artifacts
- software architecture
- behavior patterns
- design patterns
- cellular automaton
- software systems
- software development
- source code
- functional units
- software maintenance
- model checking
- software design
- software engineering
- state machine
- behavioral patterns
- software components
- software tools
- state transition
- finite state automata
- tool support
- commercial off the shelf
- software quality
- software evolution
- real time systems
- requirements engineering
- software projects
- digital circuits
- life cycle
- cellular automata
- written in natural language
- software engineers
- development lifecycle