Home › Biblio

Biblio

Export 717 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
1996
Denker, G., and K. Schwarz, "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
Eckstein, S., and K. Neumann, "Integration von forstlichen Geometrie- und Sachdaten mit ARC/INFO und ORACLE 7", Proc. 4. Deutsche Anwenderkonferenz, pp. 45-53, 1996. Abstract
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
Denker, G., "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
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract
Denker, G., and J. Küster Filipe, "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
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. Abstract
1995
Huhn, M., H. Wehrheim, and G. Denker, Action Refinement - An Application of Process Theory on Object-Oriented Specification, , no. 40/95: Universität Hildesheim, November, 1995. Abstract
Kowsari, M., and P. Hartel, "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
Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis, "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
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract
Ehrich, H. - D., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract  Download: 1995KORSOref.pdf (444.2 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", 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. 219-235, 1995. Abstract  Download: 1995LocSpecDistr.pdf (350.23 KB)
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
Neumann, K., and H. Koch, "Ein experimentelles Informationssystem für ATKIS-Daten", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 113, pp. 179-190, 1995. Abstract
Hartmann, T., Entwurf einer Sprache für die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen, , vol. 1: infix-Verlag, 1995. Abstract
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "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
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation, , no. 5: Univ1 Magdeburg, Fakultät für Informatik, 1995. Abstract
Vlachantonis, N., Logische Modellierung der Steuerungs-Integration in offenen Software-Entwicklungssystemen, : VDI-Verlag, 1995. Abstract
Hartel, P., and R. Jungclaus, "Modeling Business Processes over Objects", Int1 Journal of Cooperative Information Systems, vol. 4, no. 2, pp. 165-188, 1995. Abstract
Hartel, P., Modelling Complex Systems, : Technische Universität Braunschweig, 1995. Abstract
Conrad, S., M. Gogolla, and R. Herzig, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
Denker, G., "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
Herzig, R., Zur Spezifikation von Objektgesellschaften mit TROLL \it light\/, : VDI-Verlag, 1995. Abstract
1994
Herzig, R., H. Fischer, and M. Gogolla, "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
Schwiderski, S., T. Hartmann, and G. Saake, "Monitoring Temporal Preconditions in a Behaviour Oriented Object Model", Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994. Abstract
Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994.  Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)
Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract  Download: 1994CERN.pdf (280.86 KB)
Ehrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas, "Object-Oriented Design of Information Systems: Theoretical Foundations", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994. Abstract  Download: 1994CISM1.pdf (266.62 KB)
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract  Download: 1994CISM2.pdf (981.53 KB)
Herzig, R., and M. Gogolla, "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
Conrad, S., A Basic Calculus for Verifying Properties of Synchronously Interacting Objects, , no. 94-05: Technische Universität Braunschweig, 1994. Abstract