 | 2001 |
|---|
| 12 |       | 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 | | 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 |
