Sciweavers

44 search results - page 5 / 9
» Stepwise Development of Peer-to-Peer Systems
Sort
View
MODELLIERUNG
2008
13 years 8 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
SMC
2007
IEEE
116views Control Systems» more  SMC 2007»
14 years 1 months ago
Model-based performance engineering of General Motors' vehicle supply chain
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
Armin Zimmermann, Michael Knoke, Shang-Tae Yee, Je...
CSFW
2000
IEEE
13 years 11 months ago
Possibilistic Definitions of Security - An Assembly Kit
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
Heiko Mantel
SPLC
2004
13 years 8 months ago
Staged Configuration Using Feature Models
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisen...
FMOODS
2000
13 years 8 months ago
Behavioural Subtyping and Property Preservation
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
Heike Wehrheim