Writings in English by Else Nordhagen:
Divide et imepar - A computational framwork for verifying Object Component
Substitutability
Else Nordhagen, Docotral Thesis, Oslo, 1999.
The thesis is available at
http://www.ifi.uio.no/~ftp/publications/dr-scient-theses/.
The first page, summary and conclusions (5 pages) can be found in
this PostScript file
The work defines an object-calculus with object identity, dynamic binding
and parrallell
exectuion of objects as
central consepts. The calculus is used to formally show what
is necessary to include
in the specifications of components which consist of more
than one object, in order
to assure safe and error free composition of components.
Thesis page
Omicron, An Object-Oriented Calculus
Else Nordhagen, Paper for the 1st IFIP Workshop on Formal Methods for Open
Object-based Distributed Systems (FMOODS), Paris, 2-6 March, 1996, pp. 298-314
Postscript version
OORASS: Seamless support for the creation and maintanance of O-O systems
Reenskaug, Andersen, Berre, Hurlen, Landmark, Lehne,
Nordhagen, Nęss-Ulseth, Oftedahl, Skaar, Stenslet
Journal of Object-Oriented Programming, vol.5 no.6 October 1992 pp. 27-41
The design and description of complex, object-oriented systems
Trygve Reenskaug and Else Nordhagen. - Oslo, 1989.
(Rapport / Senter for industriforskning ; 89 - 272-1). ISBN 82-411-0193-7
An older version of OORAM - a lot has be changed for the better...
The COIR Architecture for Flexible Software Components and Systems
Else Nordhagen, Ifi Research repport 197, ISBN-82-7368-108-4, February 1995
Postscript version
Four types of types for objects
Else Nordhagen, Norsk Informatikk Konferanse NIK-93 proceedings, TAPIR,
ISBN 82-519-1460-4
Pi-calculus semantics for a Smalltalk-like language
Else Nordhagen, Norsk Informatikk Konferanse NIK-92 proceedings,
TAPIR,
ISBN 82-519-1482-5 Last version
Aspects of Systems Integration,
E.Nordhagen, E.G.Nilsson og G. Oftedal,
Proceeding of The First International Conference on Systems Integration,
April 23-26, 1990, New Jersey, USA.
Generic object-oriented systems
Else Nordhagen, Proceedings of TOOLS'89, November 1989 pp. 131-140
A new text editor implementation for Smalltalk-80
Else Nordhagen, SI-report EKI-N-42, June 1987, SINTEF, 0314 Oslo, Norway