Developing usable web interfaces with the aid of automatic verification of their formal specification.
Rosanna CassinoMaurizio TucciPublished in: J. Vis. Lang. Comput. (2011)
Keyphrases
- formal specification
- object oriented design
- specification languages
- website
- model checking
- specification language
- process algebra
- formal methods
- web applications
- database interface
- data abstraction
- concurrent systems
- semantic web
- web pages
- reverse engineering
- business rules
- web interface
- query interface
- knowledge base