Home › Biblio

Biblio

Export 16 results:
Sort by: Author Keyword Title [ Type (Asc)] Year
Filters: Author is Sernadas, C.  [Clear All Filters]
Conference Paper
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, , no. 91-04: TU Braunschweig, 1991. Abstract
Conference Proceedings
Saake, G., R. Jungclaus, and C. Sernadas, "Abstract Data Type Semantics for Many-Sorted Object Query Algebras", Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991. Abstract
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Abstract Object Types for Databases", Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988. Abstract
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Blocks of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract
Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas, "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
Saake, G., A. Sernadas, and C. Sernadas, "Evolving Object Specifications", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Formal Specification of Object Systems", Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991. Abstract
Jungclaus, R., T. Hartmann, G. Saake, and C. Sernadas, "Introduction to TROL1 -1 A Language for Object-Oriented Specification of Information Systems", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 97-128, 1991. Abstract
Costa, J. - F., A. Sernadas, C. Sernadas, and H. - D. Ehrich, "Object Interaction", Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992. Abstract
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc1 13th Int1 Conf1 on Very Large Databases VLDB'87: VLDB Endowment Press, Saratog1 (CA), pp. 107-116, 1987. Abstract
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Using Active Objects for Query Processing", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990): North-Holland, pp. 285-304, 1991. Abstract
Journal Article
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "From Data Types to Object Types", Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990. Abstract
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, "\sc Troll - A Language for Object-Oriented Specification of Information Systems", ACM Transactions on Information Systems, vol. 14, no. 2, pp. 175-211, April, 1996. Abstract