950 search results - page 60 / 190 » Tool Support for Model Checking of Web Application Designs |
ENTCS
2008
13 years 7 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
AWIC
2003
Springer
14 years 1 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
WEBNET
2001
13 years 9 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
DSVIS
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...