950 search results - page 4 / 190 » Tool Support for Model Checking of Web Application Designs |
VL
2003
IEEE
14 years 26 days ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
ICWE
2004
Springer
14 years 29 days ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
TSE
2010
13 years 6 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
IWC
2006
13 years 7 months ago
2006
The increasing need to check Web site accessibility has stimulated interest in tools to aid the various activities involved. While some tools for this purpose already exist, we be...
FM
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...