Ingo Claßen

According to our database, Ingo Claßen authored at least 18 papers between 1988 and 2010.

Collaborative distances:

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

2010

Design and Semantics of a Query Language for Multidimensional Data.

Ingo Claßen

Proceedings of the Advances in Databases and Information Systems, 2010

1997

Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA.

Ingo Claßen, Herbert Weber, Yanbo Han

Proceedings of the 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 1997

CUI to GUI Migration: Static Analysis of Character-Based Panels.

Ingo Claßen, Klaus Hennig, Ingo Mohr, Michael Schulz

Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1996

ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory.

Sebastian Erdmann, Ingo Claßen

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Categorical Concepts for Parameterized Partial Specifications.

Ingo Claßen, Martin Große-Rhode, Uwe Wolter

Math. Struct. Comput. Sci., 1995

1994

Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods.

Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

Graphical Support for Prototyping of Algebraic Specifications.

Roswitha Bardohl, Ingo Claßen

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993

Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems.

Hartmut Ehrig, Ingo Claßen

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Algebraic Specification Techniques and Tools for Software Development: The Act Approach

Ingo Claßen, Hartmut Ehrig, Dietmar Wolz

AMAST Series in Computing 1, World Scientific, ISBN: 978-981-02-1227-8, 1993

Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics.

Ingo Claßen

PhD thesis, 1993

An Object-Oriented Design for the ACT ONE Environment.

Martin Gogolla, Ingo Claßen

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.

Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas

Comput. J., 1992

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas

Comput. J., 1992

1990

Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.

Hartmut Ehrig, Ingo Claßen

Bull. EATCS, 1990

Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).

Hartmut Ehrig, Ingo Claßen

Bull. EATCS, 1990

1989

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).

Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe

Proceedings of the Software-Entwicklung: Konzepte, 1989

1988

Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language.

Ingo Claßen

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

A Revised Version of ACT ONE.

Ingo Claßen

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988