Case study: Using requirements and finite state machine for evaluating software trustworthiness.
Mitra NamiWitold SurynPublished in: IECON (2012)
Keyphrases
- finite state machines
- case study
- software development
- software systems
- finite state automata
- requirements engineering
- functional units
- development process
- real time systems
- state machine
- software design
- development lifecycle
- development effort
- computer systems
- functional requirements
- software architecture
- software requirements
- software tools
- model checking
- source code
- open source
- computing infrastructure
- data flow
- written in natural language
- software engineering
- software development process
- regular expressions
- embedded systems
- business process
- database systems