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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11531371_12 | ICWE |
Keywords | Field | DocType |
model checking technique,design verification,web applications,automated verification,design process,web application,systematic design,uml design,symbolic model checking,reliable development,early design phase,current implementation technology,model checking | Computation tree logic,Functional verification,Model checking,Software engineering,Unified Modeling Language,Simulation,Computer science,Engineering design process,Web application,Design process,Software development,Distributed computing | Conference |
Volume | ISSN | ISBN |
3579 | 0302-9743 | 3-540-27996-2 |
Citations | PageRank | References |
24 | 0.94 | 11 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eugenio Di Sciascio | 1 | 1733 | 147.71 |
Francesco M. Donini | 2 | 3481 | 452.47 |
Marina Mongiello | 3 | 1053 | 76.54 |
Rodolfo Totaro | 4 | 43 | 2.17 |
Daniela Castelluccia | 5 | 68 | 4.64 |