Hans-Dieter Ehrich

Klaus-Dieter Schewe

T. H. Tse

J. Syst. Softw., 2006

Bioinformatik: Erkenntnisse aus der Datenflut?

[BibT_eX]

[DOI]

Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

2005

Harmonizing intra- and inter-object specification and verification: a multi-object logics approach.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Editorial.

[BibT_eX]

Huimin Lin

T. H. Tse

Inf. Softw. Technol., 2004

2003

Checking Object System Designs Incrementally.

[BibT_eX]

[DOI]

Maik Kollmann

Ralf Pinger

J. Univers. Comput. Sci., 2003

Objects, Agents, and Features: An Introduction.

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Mark Dermot Ryan

Proceedings of the Objects, 2003

2001

Compositional Checking of Communication among Observers.

[BibT_eX]

[DOI]

Ralf Pinger

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Specifying Communication in Distributed Information Systems.

[BibT_eX]

[DOI]

Carlos Caleiro

Acta Informatica, 2000

1999

Object Specification.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

1998

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.

[BibT_eX]

[DOI]

Antonio Grau

Juliana Küster Filipe

Proceedings of the Conceptual Modeling, 1998

Logics for Specifying Concurrent Information Systems.

[BibT_eX]

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

Information Systems Modelling with TROLL Formal Methods at Work.

[BibT_eX]

[DOI]

Inf. Syst., 1997

1996

Developing an Information System Using TROLL: An Application Field Study.

[BibT_eX]

[DOI]

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Specification of abstract data types.

[BibT_eX]

Jacques Loeckx

Markus Wolf

Wiley, ISBN: 978-0-471-95067-7, 1996

1995

Entwicklung zuverlässiger Informationssysteme.

[BibT_eX]

Nikolaos Vlachantonis

EMISA Forum, 1995

Korso Reference Languages - Concepts and Application Domains.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Proceedings of the KORSO, 1995

1994

Modulare Semantik für nebenläfige Familien sequentieller Objekte.

[BibT_eX]

Proceedings of the Kurzfassungen 6. Workshop Grundlagen von Datenbanken, 1994

Local Specification of Distributed Families of Sequential Objects.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Constructing Systems as Object Communities.

[BibT_eX]

[DOI]

Grit Denker

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.

[BibT_eX]

[DOI]

Nikolaos Vlachantonis

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Object-Oriented Design of Information Systems: TROLL Language Features.

[BibT_eX]

Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.

[BibT_eX]

Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

Towards Reliable Information Systems: The KorSo Approach

[BibT_eX]

[DOI]

Nikolaos Vlachantonis

Proceedings of the Advanced Information Systems Engineering, 1993

1992

Conceptual modelling of database applications using extended ER model.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1992

Spezifikation von Objektsystemen.

[BibT_eX]

Proceedings of the Objektbanken für Experten, 1992

Object Interaction.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Concepts of Object-Orientation.

[BibT_eX]

[DOI]

Gunter Saake

Proceedings of the Informationssysteme und Künstliche Intelligenz: Modellierung, 1992

1991

Object-Oriented Specification and Stepwise Refinement.

[BibT_eX]

Gunter Saake

Ralf Jungclaus

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Objects and their Specification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

From Data Types to Object Types.

[BibT_eX]

J. Inf. Process. Cybern., 1990

A Categorial Theory of Objects as Observed Processes.

[BibT_eX]

[DOI]

Joseph A. Goguen

Proceedings of the Foundations of Object-Oriented Languages, 1990

What is an Object, After All?

[BibT_eX]

Proceedings of the Object-Oriented Databases: Analysis, 1990

1989

Algebraic Implementation of Objects over Objects.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

The Basic Building Blocks of Information Systems.

[BibT_eX]

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt.

[BibT_eX]

Proceedings of the Workshop Grundlagen von Datenbanken, 1989

Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen.

[BibT_eX]

[DOI]

Friedrich Lohmann

Karl Neumann

Proceedings of the Datenbanksysteme in Büro, 1989

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie.

[BibT_eX]

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02266-4, 1989

1988

Abstract Object Types for Databases.

[BibT_eX]

[DOI]

Proceedings of the Advances in Object-Oriented Database Systems, 1988

Objects, Object Types, and Object Identification.

[BibT_eX]

[DOI]

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

Objects and Object Types.

[BibT_eX]

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

1987

Object-Oriented Specification of Databases: An Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic in Specification, 1987

Three-Level-Specification of Databases using an extended Entity-Relationship Model.

[BibT_eX]

[DOI]

Proceedings of the Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, 1987

Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken.

[BibT_eX]

[DOI]

Michael Drawin

Karl Neumann

Proceedings of the Datenbanksysteme in Büro, 1987

1986

Towards an Algebraic Semantics for Database Specification.

[BibT_eX]

Klaus Drosten

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Towards an Algebraic Semantics for Databases.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.

[BibT_eX]

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1984

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Specification, Semantics, and Enforcement of Dynamic Database Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Algebraic (?) Specification of Conceptual Database Schemata.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Algebraic Domain Equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

Algebraic Specification with subsorts using declarations.

[BibT_eX]

Bull. EATCS, 1983

An Operational Semantics for Specifications of Abstract Data Types with Error Handling.

[BibT_eX]

[DOI]

Gregor Engels

Udo Pletat

Acta Informatica, 1983

Algebraic and operational semantics of exceptions and errors.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 1983

Algebraic Specifications of Database Constraints.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.

[BibT_eX]

[DOI]

J. ACM, 1982

Algebraic Domain Equations.

[BibT_eX]

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

Operational Aspects of Algebraic Specifications.

[BibT_eX]

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

On Realization and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Specifying Algebraic Data Types by Domain Equations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1981

1980

Proving Implementations Correct - Two Alternative Approaches.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1978

Extensions and Implementations of Abstract Data Type Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Constructive Specifications of Abstract Data Types by Replacements.

[BibT_eX]

[DOI]

V. G. Lohberger

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1977

Algebraic Semantics of Type Definitions and Structured Variables.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1977

1976

On the Storage Space Requirement of Consecutive Retrieval with Redundancy.

[BibT_eX]

[DOI]

Witold Lipski Jr.

Inf. Process. Lett., 1976

An Axiomatic Approach to Information Structures.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Outline of an Algebraic Theory of Structured Objects.

[BibT_eX]

Proceedings of the Third International Colloquium on Automata, 1976

1975

Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte.

[BibT_eX]

Proceedings of the 1. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 1975

1974

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme.

[BibT_eX]

[DOI]

Acta Informatica, 1974

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata.

[BibT_eX]

[DOI]

Acta Informatica, 1974

Theory of Direct-Access Storage Functions.

[BibT_eX]

Proceedings of the Information Processing, 1974

1973

Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen

[BibT_eX]

Acta Informatica, 1973

Datenstrukturen und Q-Systeme - Eine Mathematische Studie.

[BibT_eX]

[DOI]

Proceedings of the Gesellschaft für Informatik e.V., 1973

1972

A Note on State Minimization of a Special Class of Incomplete Sequential Machines.

[BibT_eX]

[DOI]