Formalizing Design Spaces: Implicit Invocation Mechanisms

An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support large-scale reuse, and provide automated assistance for system development. A significant roadblock to accomplishing this goal is that common properties of systems are poorly understood. In this paper we argue that formal specification can help solve this problem. A formal definition of a design framework can identify the common properties of a family of systems and make clear the dimensions of specialization. New designs can then be built out of old ones in a principled way, at reduced cost to designers and implementors.

[1]  David Garlan,et al.  Formal Specifications as Reusable Frameworks , 1990, VDM Europe.

[2]  E KrasnerGlenn,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[3]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[4]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[5]  Steven P. Reiss,et al.  Connecting tools using message passing in the Field environment , 1990, IEEE Software.

[6]  Robert Balzer,et al.  Living in the Next-Generation Operating System , 1987, IEEE Softw..

[7]  David Garlan,et al.  Low-cost, adaptable tool integration policies for integrated environments , 1990 .

[8]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[9]  David Notkin,et al.  Reconciling environment integration and component independence , 1990 .

[10]  Ib Sørensen,et al.  CAVIAR: a case study in specification , 1987 .

[11]  David Notkin,et al.  Gandalf: Software development environments , 1986, IEEE Transactions on Software Engineering.

[12]  Dennis Heimbigner,et al.  Language constructs for managing change in process-centered environments , 1990 .

[13]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[14]  Joseph A. Goguen,et al.  Reusing and Interconnecting Software Components , 1986, Computer.

[15]  David Garlan,et al.  Low-cost, adaptable tool integration policies for integrated environments , 1990, SDE 4.