950 search results - page 81 / 190 » Tool Support for Model Checking of Web Application Designs |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In the context of knowledge-intensive work, making the relevant knowledge available to the people needing it for their work is a key issue. One approach is to capture such knowled...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Proponents of design notations tailored for specific application domains or reference architectures, often available in the form of UML stereotypes, motivate them by improved unde...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
TOOLS
2000
IEEE
14 years 8 days ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...