Rudolf Herzig

According to our database1, Rudolf Herzig authored at least 16 papers between 1992 and 1995.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
Zur Spezifikation von Objektgesellschaften mit TROLL light.
PhD thesis, 1995

A Development Environment for an Object Specification Language.
IEEE Trans. Knowl. Data Eng., 1995

Entwicklung zuverlässiger Informationssysteme.
EMISA Forum, 1995

TROLL light.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

TROLL light - The Language and its Development Environment.
Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.
Proceedings of the KORSO, 1995

An Algebraic Development Technique for Information Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Safe Derivations in Object Hierarchies.
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

A SQL-like Query Calculus for Object-Oriented Database Systems.
Proceedings of the Object-Oriented Methodologies and Systems, 1994

An Animator for the Object Specification Language TROLL light.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

An Algebraic Semantics for the Object Specification Language TROLL <i>light</i>.
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
Zur Entwicklung zuverlässiger Informationssysteme in KorSo.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Integrating the ER Approach in an OO Environment.
Proceedings of the Entity-Relationship Approach, 1993

Sketching Concepts and Computational Model of TROLL <i>light</i>.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

Towards Reliable Information Systems: The KorSo Approach
Proceedings of the Advanced Information Systems Engineering, 1993

1992
Transforming Conceptual Data Models into an Object Model.
Proceedings of the Entity-Relationship Approach, 1992


  Loading...