Ingo Claßen

Publication Activity (10 Years)

Years Active: 1988-2010
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Ingo Claßen
Design and Semantics of a Query Language for Multidimensional Data. ADBIS (2010)
Ingo Claßen, Klaus Hennig, Ingo Mohr, Michael Schulz
CUI to GUI Migration: Static Analysis of Character-Based Panels. CSMR (1997)
Ingo Claßen, Herbert Weber, Yanbo Han
Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA. EDOC (1997)
Sebastian Erdmann, Ingo Claßen
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. AMAST (1996)
Ingo Claßen, Martin Große-Rhode, Uwe Wolter
Categorical Concepts for Parameterized Partial Specifications. Math. Struct. Comput. Sci. 5 (2) (1995)
Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. GI Jahrestagung (1994)
Roswitha Bardohl, Ingo Claßen
Graphical Support for Prototyping of Algebraic Specifications. GI Jahrestagung (1994)
Martin Gogolla, Ingo Claßen
An Object-Oriented Design for the ACT ONE Environment. AMAST (1993)
Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. 35 (5) (1992)
Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. 35 (5) (1992)
Hartmut Ehrig, Ingo Claßen
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 40 (1990)
Hartmut Ehrig, Ingo Claßen
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). Bull. EATCS 41 (1990)
Hartmut Ehrig, Ingo Claßen
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS 39 (1989)
Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung (1989)
Ingo Claßen
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language. Categorial Methods in Computer Science (1988)
Ingo Claßen
A Revised Version of ACT ONE. ADT (1988)

Ingo Claßen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ingo Claßen