From requirements to software trustworthiness using scenarios and finite state machine.
Mitra NamiWitold SurynPublished in: IECON (2012)
Keyphrases
- finite state machines
- model checking
- state machine
- software development
- finite state automata
- digital circuits
- requirements engineering
- commercial off the shelf
- software systems
- functional units
- written in natural language
- development lifecycle
- development effort
- software architecture
- functional requirements
- real time systems
- software design
- software requirements
- computer systems
- user interface
- state transition
- software tools
- software components
- real world