Sciweavers

44 search results - page 5 / 9
» Stepwise Development of Peer-to-Peer Systems
Sort
View
MODELLIERUNG
2008
14 years 11 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
74
Voted
SMC
2007
IEEE
116views Control Systems» more  SMC 2007»
15 years 3 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
15 years 1 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
84
Voted
SPLC
2004
14 years 11 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...
88
Voted
FMOODS
2000
14 years 11 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