Sciweavers

ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
13 years 10 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
ECBS
2003
IEEE
148views Hardware» more  ECBS 2003»
13 years 10 months ago
Autonomic Computing - A Means of Achieving Dependability?
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, se...
Roy Sterritt, David W. Bustard
ECBS
2003
IEEE
105views Hardware» more  ECBS 2003»
13 years 10 months ago
Panel: Extending UML from Software to Systems Engineering
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
Stephanie White, Murray Cantor, Sanford Friedentha...
ECBS
2003
IEEE
91views Hardware» more  ECBS 2003»
13 years 10 months ago
Modeling and Building Reliable, Re-Useable Software
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
Ferdinand Wagner, Peter Wolstenholme
ECBS
2003
IEEE
106views Hardware» more  ECBS 2003»
13 years 10 months ago
A Slicing Approach for Parallel Component Adaptation
Brandon Morel, Perry Alexander
ECBS
2003
IEEE
98views Hardware» more  ECBS 2003»
13 years 10 months ago
The Rosetta Meta-Model Framework
Cindy Kong, Perry Alexander
ECBS
2003
IEEE
95views Hardware» more  ECBS 2003»
13 years 10 months ago
FMC: An Approach Towards Architecture-Centric System Development
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...
Frank Keller, Siegfried Wendt
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
13 years 10 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
13 years 10 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
ECBS
2003
IEEE
146views Hardware» more  ECBS 2003»
13 years 10 months ago
Architecture-Based Design of Computer Based Systems
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
Mark Denford, Tim O'Neill, John Leaney