scholarly journals A Model Checking-based Method for Verifying Web Application Design

2006 ◽  
Vol 151 (2) ◽  
pp. 19-32 ◽  
Author(s):  
Francesco Maria Donini ◽  
Marina Mongiello ◽  
Michele Ruta ◽  
Rodolfo Totaro
Keyword(s):  
Model Checking ◽  
Web Application ◽  
Application Design

scholarly journals WAVer: A Model Checking-based Tool to Verify Web Application Design

2006 ◽  
Vol 157 (1) ◽  
pp. 61-76 ◽  
Author(s):  
D. Castelluccia ◽  
M. Mongiello ◽  
M. Ruta ◽  
R. Totaro
Keyword(s):  
Model Checking ◽  
Web Application ◽  
Application Design

RUBIK: Proactive, Entity-Centric and Personalized Situational Web Application Design

2014 ◽  
pp. 123-157
Author(s):  
Devis Bianchini ◽  
Silvana Castano ◽  
Valeria De Antonellis ◽  
Alfio Ferrara ◽  
Elisa Quintarelli ◽  
...  
Keyword(s):  
Web Application ◽  
Application Design ◽  
Entity Centric
Sign in / Sign up

Export Citation Format

Share Document