Einar W. Karlsen

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Bill Taylor, Einar W. Karlsen
Mapping UML to Ada. Ada-Europe (2001)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification (1998)
Einar W. Karlsen
The UniForM WorkBench - A Higher Order Tool Integration Framework. FM-Trends (1998)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM (1998)
Einar W. Karlsen, Stefan Westmeier
Using Concurrent Haskell to Develop Views over an Active Repository. Implementation of Functional Languages (1997)
Einar W. Karlsen
dA Transformer Shell. PROSPECTRA Book (1993)
Einar W. Karlsen, Jesper Jørgensen II
dA-S Editor. PROSPECTRA Book (1993)
Einar W. Karlsen, Owen Traynor
Program Development: Attributes for Transformation and Proof. PROSPECTRA Book (1993)
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
Uniform Transformational Development. PROSPECTRA Book (1993)
Einar W. Karlsen
dA Reference Manual. PROSPECTRA Book (1993)
Einar W. Karlsen, Jesper Jørgensen II
dA-S Reference Manual. PROSPECTRA Book (1993)
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) (1991)
Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor
The PROSPECTRA System: A Unified Development Framework. AMAST (1991)

Einar W. Karlsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Einar W. Karlsen