Web Applications Design and Maintenance Using Symbolic Model Checking.

Eugenio Di Sciascio Francesco M. Donini Marina Mongiello Giacomo Piscitelli

Published in: CSMR (2003)

Keyphrases

web applications
application development
symbolic model checking
web application development
web services
design process
end users
model view controller
database
learning algorithm
multi agent systems
orders of magnitude
formal verification