Sciweavers

ISSTA
1996
ACM
14 years 3 days ago
Predicting Dependability by Testing
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
Richard G. Hamlet
ICSE
1997
IEEE-ACM
14 years 3 days ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
ICSE
1997
IEEE-ACM
14 years 3 days ago
Rigi: A Visualization Environment for Reverse Engineering
The Rigi reverse engineering system provides two contrasting approaches for presenting software structures in its graph editor. The rst displays the structures through multiple, i...
Margaret-Anne D. Storey, Kenny Wong, Hausi A. M&uu...
ICSE
1997
IEEE-ACM
14 years 3 days ago
A Case Study of Distributed, Asynchronous Software Inspection
Traditional software inspection requires participants to meet together at the same time in the same place. Distributed, asynchronous inspection allows participants to conduct meet...
Michael Stein, John Riedl, Sören J. Harner, V...
ICSE
1997
IEEE-ACM
14 years 3 days ago
Argo: A Design Environment for Evolving Software Architectures
Software architectures evolve as the result of numerous, interrelated design decisions. At any point in an architecture’s evolution, current decisions can critically affect alte...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
ICSE
1997
IEEE-ACM
14 years 3 days ago
Prioritizing Software Requirements in an Industrial Setting
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
Kevin Ryan, Joachim Karlsson
ICSE
1997
IEEE-ACM
14 years 3 days ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
ICSE
1997
IEEE-ACM
14 years 3 days ago
Reuse of Off-the-Shelf Components in C2-Style Architectures
-- Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful component reuse and substitutability ...
Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor