.gif)
] Filters: Taxonomy Term is [Clear All Filters]
Datenbanksysteme II,
, no. 34: Technische Universität Braunschweig, 1996.
Abstract
"Entwicklung eines geographischen Informationssystems zur Forsteinrichtung",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 115, pp. 119-130, 1996.
Abstract
"Formal Object Oriented Specification Language \sc Troll in Information System Design",
Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996.
Abstract
"Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht",
Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996: Universität Koblenz-Landau, Fachbereich Informatik, pp. 97-104, 1996.
Abstract
"Integration von forstlichen Geometrie- und Sachdaten mit ARC/INFO und ORACLE 7",
Proc. 4. Deutsche Anwenderkonferenz, pp. 45-53, 1996.
Abstract
Object Specification,
, no. 96-07: TU Braunschweig, 1996.
Abstract
"Reification - Changing Viewpoint but Preserving Truth",
Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996.
Abstract
"Semantic Ref\/inement of Concurrent Object Systems Based on Serializability",
Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996.
Abstract
Specification of abstract data types,
: J. Wiley & Sons and B.G.Teubner Publishers, 1996.
Abstract
"Towards a Model for Asynchronously Communicating Objects",
Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996.
Abstract
Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen,
, vol. 6: infix-Verlag, 1996.
Abstract
Action Refinement - An Application of Process Theory on Object-Oriented Specification,
, no. 40/95: Universität Hildesheim, November, 1995.
Abstract
"Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik",
7.Workshop Grundlagen von Datenbanken: Universität Hildesheim Institut für Informatik, pp. 88-93, Juni, 1995.
Abstract
"A Development Environment for an Object Specification Language",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
"Ein experimentelles Informationssystem für ATKIS-Daten",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 113, pp. 179-190, 1995.
Abstract
Entwurf einer Sprache für die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen,
, vol. 1: infix-Verlag, 1995.
Abstract
"Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment",
Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995.
Abstract
Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation,
, no. 5: Univ1 Magdeburg, Fakultät für Informatik, 1995.
Abstract
"Modeling Business Processes over Objects",
Int1 Journal of Cooperative Information Systems, vol. 4, no. 2, pp. 165-188, 1995.
Abstract
Modelling Complex Systems,
: Technische Universität Braunschweig, 1995.
Abstract
"Safe Derivations in Object Hierarchies",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995.
Abstract
"Transactions in Object-Oriented Specifications",
Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 203-218, 1995.
Abstract
Zur Spezifikation von Objektgesellschaften mit TROLL \it light\/,
: VDI-Verlag, 1995.
Abstract
"Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen",
Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994.
Abstract
"Monitoring Temporal Preconditions in a Behaviour Oriented Object Model",
Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994.
Abstract
"An Animator for the Object Specification Language TROLL \em light",
Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994.
Abstract
A Basic Calculus for Verifying Properties of Synchronously Interacting Objects,
, no. 94-05: Technische Universität Braunschweig, 1994.
Abstract
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
"Compositional Description of Object Communities with TROLL \em light",
Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994.
Abstract
"Distributed Temporal Logic for Concurrent Object Families",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994.
Abstract
"Ein Ansatz zur Operationalisierung deskriptiver Anfragen durch Anfrageobjekte",
Kurzfassungen des 61 GI-Workshops ``Grundlagen von Datenbanken'', Bad Helmstedt, 19.-221 September 1994: Otto-von-Guericke-Universität Magdeburg, Institut für Technische Informationssysteme, Bericht 94-01, pp. 92-96, 1994.
Abstract
"Ein EER-basiertes Datenbankschema für Ökosysteme",
Proc1 Workshop Umweltdatenbanken, Veröffentlichungsreihe Praxis der Umwelt-Informatik: METROPOLIS-Verlag, pp. 59-86, 1994.
Abstract
"An Elementary Logic for Object Specification and Verification",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994.
Abstract