Sciweavers

Share
ICSE
2003
IEEE-ACM
10 years 4 months ago
Data Flow Testing as Model Checking
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg S...
ICSE
2003
IEEE-ACM
10 years 4 months ago
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
Paulo Asterio de Castro Guerra, Cecília M. ...
ICSE
2003
IEEE-ACM
10 years 4 months ago
A Tutorial on Feature Oriented Programming and Product-Lines
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
Don S. Batory
ICSE
2003
IEEE-ACM
10 years 11 months ago
A Model and a Design Approach to Building QoS Adaptive Systems
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
Paul D. Ezhilchelvan, Santosh K. Shrivastava
ICSE
2003
IEEE-ACM
10 years 11 months ago
Experiences from the Architectural Change Process
A good software architecture is becoming recognized as a major factor for successful products. There has been much research on the technical aspects of software architecture and i...
Josef Nedstam, Even-André Karlsson, Martin ...
ICSE
2003
IEEE-ACM
10 years 11 months ago
Integrating Organizational Requirements and Socio-Intentional Architectural Styles
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between softwar...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
ICSE
2003
IEEE-ACM
10 years 11 months ago
A Framework for Managing Traceability Relationships between Requirements and Architectures
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
Susanne A. Sherba, Kenneth M. Anderson
ICSE
2003
IEEE-ACM
10 years 11 months ago
Pattern Oriented Software Development: Moving Seamlessly from Requirements to Architecture
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
M. S. Rajasree, P. Jithendra Kumar Reddy, D. Janak...
ICSE
2003
IEEE-ACM
10 years 11 months ago
Eliciting Architectural Decisions from Requirements using a Rule-based Framework
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
WenQian Liu, Steve M. Easterbrook
ICSE
2003
IEEE-ACM
10 years 11 months ago
Patterns Approach to Building Software Systems
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
Satish Chandra, Satyendra Bhattaram
books