Software Interconnection Models

@inproceedings{Perry1987SoftwareIM,
  title={Software Interconnection Models},
  author={Dewayne E. Perry},
  booktitle={ICSE},
  year={1987}
}
We present a formulation of interconnection models and present the unit and syntactic models — the primary models used for managing the evolution of large software systems. We discuss various tools that use these models and evaluate how well these models support the management of system evolution. We then introduce the semantic interconnection model. The semantic interconnection model incorporates the advantages of the unit and syntactic interconnection models and provides extremely useful… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 70 extracted citations

Composition Validation and Subjectivity in GenVoca Generators

IEEE Trans. Software Eng. • 1997
View 18 Excerpts
Highly Influenced

Software Architecture

Wiley Encyclopedia of Computer Science and Engineering • 2008
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-5 of 5 references

An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications’

J. A. Goguen, J. J. Tardo
Proceedings of a Conference on Specifications of Reliable Software, • 1979
View 4 Excerpts
Highly Influenced

Lint, a C Program Checker’

S. C. Johnson
Unix Programmer’s Manual, AT&T Bell Laboratories, • 1978
View 4 Excerpts
Highly Influenced

An Axiomatic Approach to Computer Programming’

C.A.R. Hoare
1969
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…