ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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 ...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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 ...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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...
ECBS
2003
IEEE
14 years 5 months ago
2003
IEEE
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...