Active Inference of Extended Finite State Models of Software Systems.
Roland GrozCatherine OriatGermán VegaAdenilso da Silva SimãoMichael FosterNeil WalkinshawPublished in: ICGI (2023)
Keyphrases
- software systems
- finite state
- metamodel
- markov chain
- software engineering
- software design
- software development
- finite state transducers
- software components
- source code
- continuous time bayesian networks
- model checking
- software architecture
- software maintenance
- probabilistic model
- markov decision processes
- optimal policy
- software quality
- software engineers
- sufficient conditions
- dynamic programming
- multi agent systems
- cooperative
- high level
- case study
- artificial intelligence