 | 1997 |
|---|
| 15 |       | Ingo Claßen,
Klaus Hennig,
Ingo Mohr,
Michael Schulz:
CUI to GUI Migration: Static Analysis of Character-Based Panels.
CSMR 1997: 144-149 |
| 14 | | 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: 300- |
| 1996 |
|---|
| 13 |  | Sebastian Erdmann,
Ingo Claßen:
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory.
AMAST 1996: 625-628 |
| 1995 |
|---|
| 12 | | Ingo Claßen,
Martin Große-Rhode,
Uwe Wolter:
Categorical Concepts for Parameterized Partial Specifications.
Mathematical Structures in Computer Science 5(2): 153-188 (1995) |
| 1994 |
|---|
| 11 | | Roswitha Bardohl,
Ingo Claßen:
Graphical Support for Prototyping of Algebraic Specifications.
GI Jahrestagung 1994: 19-26 |
| 10 | | 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: 2-9 |
| 1993 |
|---|
| 9 | | Martin Gogolla,
Ingo Claßen:
An Object-Oriented Design for the ACT ONE Environment.
AMAST 1993: 359-366 |
| 1992 |
|---|
| 8 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J. 35(5): 460-467 (1992) |
| 7 | | 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): 468-477 (1992) |
| 1990 |
|---|
| 6 | | Hartmut Ehrig,
Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS 40: 172-181 (1990) |
| 5 | | Hartmut Ehrig,
Ingo Claßen:
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
Bulletin of the EATCS 41: 145-153 (1990) |
| 1989 |
|---|
| 4 | | 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: 201-224 |
| 3 | | Hartmut Ehrig,
Ingo Claßen:
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS 39: 103-111 (1989) |
| 1988 |
|---|
| 2 | | Ingo Claßen:
A Revised Version of ACT ONE.
ADT 1988 |
| 1 | | Ingo Claßen:
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language.
Categorial Methods in Computer Science 1988: 124-141 |
