Frameworks and Component-Based Development (2007)
. Classes are not the best focus for object-oriented design. The most useful components in a design are frameworks -- schemes of interaction between objects. These can be worked on by separate...
OOA/D and Corba/IDL: A Common Base (2007)
Desmond D' Souza, Acommon Base, Alan Wills
ion and refinement --- conformance and subtyping . Generics --- generic types and framework collaborations F 12 of 27 1995 ICON Computing Inc. & Alan Wills 1996/January/2 14:41 Permission granted...
Formal specification of Catalysis frameworks (2000)
Juliana Kuster Filipe, Tu Braunschweig, Kung-kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, ...
Frameworks are increasingly recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than...
Formal specification of Catalysis frameworks (2000)
Juliana Kuster Filipe, Tu Braunschweig, Kung-kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, ...
Frameworks are increasingly recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than...
The Amsterdam Manifesto on OCL (1999)
Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, ...
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to...
The Amsterdam manifesto on OCL (1999)
Steve Cook, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, Klasse Objecten, ...
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to...
Interacting Frameworks in Catalysis (1998)
Kung-kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills
In current OO Design, most of the existing (semi-formal) methods use classes or objects as the basic unit of design. However, it is increasingly recognised that classes are not the best focus for...
Frameworks in Catalysis: Pictorial Notation and Formal Semantics (1997)
Kung-kiu Lau, Mario Ornaghi, Alan Wills
In OO Design, it is widely recognised that the distribution of tasks between objects and the contracts between them are key to effective design. In composing designs from reusable parts, the parts...
Capsules and types in Fresco (1991)
Fresco is a Smalltalk-based interactive environment supporting the specification and proven development of re-usable software components. These 'capsules' are deltas to the inheritance...
Smalltalk-like interface to the heirarchy of definitions, but on paper we use this notation: Any part may be omitted, and the same class may be defined in several different boxes: any implementation...
le to deal directly with all the important features of a component 's interface, and verification methods related to those features must be available. For example, efficiency often dictates that...