Einar W. Karlsen

According to our database, Einar W. Karlsen authored at least 14 papers between 1991 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2001

Mapping UML to Ada.

Bill Taylor, Einar W. Karlsen

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

1999

Tool integration in a functional programming language.

Einar W. Karlsen

PhD thesis, 1999

1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the International Workshop Tool Support for System Specification, 1998

The UniForM WorkBench - A Higher Order Tool Integration Framework.

Einar W. Karlsen

Proceedings of the Applied Formal Methods, 1998

1997

Using Concurrent Haskell to Develop Views over an Active Repository.

Einar W. Karlsen, Stefan Westmeier

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1993

Uniform Transformational Development.

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor

Proceedings of the Program Development by Specification and Transformation, 1993

Program Development: Attributes for Transformation and Proof.

Einar W. Karlsen, Owen Traynor

Proceedings of the Program Development by Specification and Transformation, 1993

Program Development: PAⁿⁿdA-S Editor.

Einar W. Karlsen, Jesper Jørgensen II

Proceedings of the Program Development by Specification and Transformation, 1993

PAⁿⁿdA-S Reference Manual.

Einar W. Karlsen, Jesper Jørgensen II

Proceedings of the Program Development by Specification and Transformation, 1993

Program Development: PAⁿⁿdA Transformer Shell.

Einar W. Karlsen

Proceedings of the Program Development by Specification and Transformation, 1993

PAⁿⁿdA Reference Manual.

Einar W. Karlsen

Proceedings of the Program Development by Specification and Transformation, 1993

1991

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor

Proceedings of the VDM '91, 1991

The PROSPECTRA System: A Unified Development Framework.

Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991