Towards monitoring systems development on the basis of the multilevel relative finite state operational automata.
Michael ChervontsevSaddam AbbasAlexander VodyahoNatalia Alexandrovna ZhukovaPublished in: MICSECS (2019)
Keyphrases
- finite state
- systems development
- markov chain
- markov decision processes
- information systems development
- information systems
- development process
- model checking
- software development
- software engineering
- tree automata
- decision making
- context free
- requirements engineering
- development methodologies
- transition systems
- policy iteration
- partially observable markov decision processes
- project management
- optimal policy
- average cost
- action sets
- total quality management
- systems analysts
- artificial intelligence
- state space