Sciweavers

ECBS
2000
IEEE
87views Hardware» more  ECBS 2000»
13 years 9 months ago
Limited Software Warranties
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
Jeffrey M. Voas
ECBS
2000
IEEE
155views Hardware» more  ECBS 2000»
13 years 9 months ago
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...
René Stolle, Wilhelm Rossak, Vassilka Kirov...
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
13 years 9 months ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
13 years 9 months ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
ECBS
2000
IEEE
84views Hardware» more  ECBS 2000»
13 years 9 months ago
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
Bonnie E. Melhart, Stephanie White
ECBS
2000
IEEE
125views Hardware» more  ECBS 2000»
13 years 9 months ago
Design Tool Integration: An Exercise in Semantic Interoperability
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
Gabor Karsai
ECBS
2000
IEEE
100views Hardware» more  ECBS 2000»
13 years 9 months ago
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
Jilles van Gurp, Jan Bosch
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
13 years 9 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
13 years 9 months ago
PuLSE-I: Deriving Instances from a Product Line Infrastructure
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya ...