Abstraction Refinement for Probabilistic Software.
Mark KattenbeltMarta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: VMCAI (2009)
Keyphrases
- software tools
- software systems
- software development
- probabilistic model
- software architecture
- bayesian networks
- development process
- source code
- computer systems
- data driven
- software design
- conditional probabilities
- low level
- hardware design
- software platform
- software packages
- probability theory
- real time
- software maintenance
- context sensitive
- user interface
- high level
- information retrieval