Ingo Claßen

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