Finite-State Modeling in Software Design: Some Fundamental Techniques.
Sukhamay KunduPublished in: APSEC (2002)
Keyphrases
- finite state
- software design
- markov chain
- model checking
- software systems
- markov decision processes
- software engineering
- software development
- optimal policy
- tree automata
- design patterns
- context free
- uml diagrams
- partially observable markov decision processes
- transition systems
- average cost
- policy iteration
- educational software
- temporal logic
- information systems
- real world