Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.
Design verification of web applications using symbolic model checking / DI SCIASCIO, Eugenio; FRANCESCO M., Donini; Mongiello, Marina; Rodolfo, Totaro; Daniela, Castelluccia. - 3579:(2005), pp. 69-74. (Intervento presentato al convegno 5th International Conference on Web Engineering (ICWE 2005) tenutosi a Sydney (Australia) nel 25 - 29 luglio 2005) [10.1007/11531371_12].
Design verification of web applications using symbolic model checking
DI SCIASCIO, Eugenio;MONGIELLO, Marina;
2005-01-01
Abstract
Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
