Module Composition and System Design for the Object Paradigm

  title={Module Composition and System Design for the Object Paradigm},
  author={Joseph A. Goguen and Adolfo Socorro},
This paper argues that a powerful module compo"itioll facility can ell),il.Ilce t]le a.bility of object oriented languages to reuse aud contpose designs, specifications and code. hl addition, several flexible ways to produo.' prototypes can be supported, induuhlg symbolic eXf'cutioa of designs. rom posing prototype versions of components, and usiug "brti\t·iu" modules. ~luch of this power comes from having rnouule expressions, therxies and views as first class citizens: 50me come,; from… CONTINUE READING

From This Paper

Topics from this paper.
17 Citations
5 References
Similar Papers


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

A language for large-scale reusable software components

  • Vivek Singhal, P DonBaloey.
  • Technical report. University of Texas at Austin.,
  • 1993

Introducing FOOPS

  • Lucia Rapanotti, Adolfo Socorro
  • Technical report,
  • 1992 A survey of object-oriented concepts

  • M. Oscar
  • Objed-Oriente.d Concepts and Applications…
  • 1988

A technique for software module specification

  • David Pa.rnas
  • Association for Computing Machinery,
  • 1972

Similar Papers

Loading similar papers…