Sciweavers

62 search results - page 7 / 13
» Automatic generation of model traversals from metamodel defi...
Sort
View
TOOLS
2000
IEEE
13 years 12 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
ECSA
2010
Springer
13 years 5 months ago
Feature-Based Composition of Software Architectures
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
Carlos Andres Parra, Anthony Cleve, Xavier Blanc, ...
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
13 years 11 months ago
Closing the Gap Between Software Modelling and Code
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
Ferdinand Wagner, T. Wagner, Peter Wolstenholme
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
13 years 9 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
ICDE
2003
IEEE
139views Database» more  ICDE 2003»
14 years 9 months ago
Super-Fast XML Wrapper Generation in DB2: A Demonstration
The XML Wrapper is a new feature of the federated database capabilities of DB2/UDB v8. It enables users and applications to issue SQL queries against XML data from a variety of so...
Vanja Josifovski, Sabine Massmann, Felix Naumann