Sciweavers

1183 search results - page 40 / 237
» Model Transformation for Service-Oriented Web Applications D...
Sort
View
SEMWEB
2001
Springer
15 years 2 months ago
A semantic model for specifying data-intensive Web applications using WebML
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
Sara Comai, Piero Fraternali
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 3 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ICWE
2003
Springer
15 years 2 months ago
Hera: Development of Semantic Web Information Systems
Abstract. As a consequence of the success of the Web, methodologies for information system development need to consider systems that use the Web paradigm. These Web Information Sys...
Geert-Jan Houben, Peter Barna, Flavius Frasincar, ...
AGP
2010
IEEE
15 years 1 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
ICWE
2010
Springer
14 years 8 months ago
Rapid Development of Composite Applications Using Annotated Web Services
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
Lars Dannecker, Marius Feldmann, Tobias Nestler, G...