2001 |
12 | EE | Bill Taylor,
Einar W. Karlsen:
Mapping UML to Ada.
Ada-Europe 2001: 359-370 |
1998 |
11 | | Einar W. Karlsen:
The UniForM WorkBench - A Higher Order Tool Integration Framework.
FM-Trends 1998: 266-280 |
10 | | 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: 116-134 |
1997 |
9 | EE | Einar W. Karlsen,
Stefan Westmeier:
Using Concurrent Haskell to Develop Views over an Active Repository.
Implementation of Functional Languages 1997: 285-303 |
1993 |
8 | | Einar W. Karlsen,
Jesper Jørgensen II:
PAnndA-S Reference Manual.
PROSPECTRA Book 1993: 149-169 |
7 | | Einar W. Karlsen:
PAnndA Reference Manual.
PROSPECTRA Book 1993: 223-238 |
6 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
Uniform Transformational Development.
PROSPECTRA Book 1993: 317-330 |
5 | | Einar W. Karlsen,
Jesper Jørgensen II:
Program Development: PAnndA-S Editor.
PROSPECTRA Book 1993: 389-417 |
4 | | Einar W. Karlsen:
Program Development: PAnndA Transformer Shell.
PROSPECTRA Book 1993: 418-449 |
3 | | Einar W. Karlsen,
Owen Traynor:
Program Development: Attributes for Transformation and Proof.
PROSPECTRA Book 1993: 450-459 |
1991 |
2 | | Einar W. Karlsen,
Bernd Krieg-Brückner,
Owen Traynor:
The PROSPECTRA System: A Unified Development Framework.
AMAST 1991: 421-433 |
1 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2) 1991: 363-397 |