DOM: Towards a Formal Specification.
Philippa GardnerGareth SmithMark J. WheelhouseUri ZarfatyPublished in: PLAN-X (2008)
Keyphrases
- formal specification
- model checking
- specification language
- specification languages
- object oriented design
- xml documents
- process algebra
- data abstraction
- web pages
- reverse engineering
- formal methods
- model checker
- relational databases
- website
- concurrent systems
- xml data
- database
- temporal logic
- xml schema
- software design
- multi agent systems
- multi agent
- case study
- machine learning
- real world
- databases