Development via Refinement in Probabilistic B - Foundation and Case Study.
Thai Son HoangZhendong JinKen RobinsonAnnabelle McIverCarroll MorganPublished in: ZB (2005)
Keyphrases
- case study
- development process
- open source
- software development
- real world
- software engineering
- probabilistic model
- rapid development
- knowledge management
- design process
- lessons learned
- st century
- multimedia
- decision support
- development environment
- database systems
- design principles
- uncertain data
- real time
- data driven
- artificial intelligence
- information systems
- decision trees
- artificial neural networks
- relational databases