950 search results - page 26 / 190 » Tool Support for Model Checking of Web Application Designs |
LAWEB
2006
IEEE
14 years 1 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
INDIASE
2009
ACM
14 years 2 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
CL
2006
Springer
13 years 7 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Collaborative web browsing tasks occur frequently, such as one user showing another how to use a web site, several users working together on a search task, or even one user sendin...