Generating commercial web applications from precise requirements and formal specifications.
David CrockerJohn H. WarrenPublished in: WWV (2005)
Keyphrases
- web applications
- formal specification
- application development
- model checking
- object oriented design
- web services
- web browser
- formal methods
- concurrent systems
- reverse engineering
- end users
- process algebra
- application developers
- web based systems
- software components
- web application development
- databases
- model view controller