950 search results - page 51 / 190 » Tool Support for Model Checking of Web Application Designs |
117
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
120
Voted
ANSOFT
2002
15 years 3 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
144
click to vote
IJMTM
2007
15 years 3 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
123
Voted
HT
2007
ACM
15 years 7 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
184
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...