ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
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...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
Traditional software inspection requires participants to meet together at the same time in the same place. Distributed, asynchronous inspection allows participants to conduct meet...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
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...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
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...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
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 ...
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
-- Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful component reuse and substitutability ...