An Experiment in Framework Development

[1]  Ralph E. Johnson,et al.  Design Patterns: Abstraction and Reuse of Object-Oriented Design , 1993, ECOOP.

[2]  Reinhold Plösch,et al.  Object-Oriented Process Control Software , 1994, J. Object Oriented Program..

[3]  Nicholas Carriero,et al.  How to write parallel programs: a guide to the perplexed , 1989, CSUR.

[4]  Franz Weber.  Getting Class Correctness and System Correctness Equivalent (How to get covariance right) , 1992, TOOLS.

[5]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.

[6]  Wolfgang Pree,et al.  Design Patterns for Object-Oriented Software Development , 1994, Proceedings of the (19th) International Conference on Software Engineering.

[7]  Walter Zimmer,et al.  Demonstrating Coherent Design: A Data Structure Catalogue , 1993, TOOLS.

[8]  Oscar Nierstrasz,et al.  Component-oriented software development , 1992, CACM.

[9]  Ian M. Holland,et al.  Specifying Reusable Components Using Contracts , 1992, ECOOP.

[10]  Dennis de Champeaux,et al.  Object-oriented system development , 1993 .

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[12]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[13]  Ellis Horowitz,et al.  Fundamentals of Computer Algorithms , 1978 .

[14]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[15]  Andreas Birrer,et al.  Frameworks in the Financial Engineering Domain - An Experience Report , 1993, ECOOP.

[16]  David Harel,et al.  On visual formalisms , 1988, CACM.

[17]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[18]  Bengt Jonsson,et al.  Compositional specification and verification of distributed systems , 1994, TOPL.

[19]  B. Pernici,et al.  Application development through reuse: the ITHACA tools environment , 1992, SIGO.