950 search results - page 36 / 190 » Tool Support for Model Checking of Web Application Designs |
ISSTA
2009
ACM
14 years 11 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
MOBILITY
2009
ACM
14 years 11 days ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
LAWEB
2003
IEEE
14 years 29 days ago
2003
IEEE
So far, conceptual modeling of Web applications has been used primarily in the upper part of the life cycle, as a driver for system analysis. Little attention has been put on expl...
IJHCI
2010
13 years 6 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...