950 search results - page 54 / 190 » Tool Support for Model Checking of Web Application Designs |
ECLIPSE
2005
ACM
13 years 11 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
SEMWEB
2010
Springer
2010
Springer
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
13 years 3 months ago
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
MSE
2000
IEEE
14 years 1 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...