.gif)
] Filters: Author is Sernadas, A. [Clear All Filters]
"Logics for Specifying Concurrent Information Systems",
Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998.
Abstract
"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
"Foundations of Information Systems Specification and Design",
Dagstuhl Seminar Report No. 35, Schloss Dagstuhl, IBFI GmbH, 1992.
Abstract
"Abstract Object Types for Databases",
Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988.
Abstract
"Algebraic Implementation of Objects over Objects",
Proc1 REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990.
Abstract
"The Basic Building Blocks of Information Systems",
Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989.
Abstract
"A Categorial Theory of Objects as Observed Processes",
Proc1 REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1990.
Abstract
"Concepts of Object-Orientation",
Proc1 of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF1 303, pp. 1-19, 1992.
Abstract
"Constructing Systems as Object Communities",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993.
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
"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
"Fundamental Object Concepts and Constructions",
Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991.
Abstract
"A Linear Temporal Logic Approach to Objects with Transactions",
Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997.
Abstract
"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
"Object Interaction",
Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992.
Abstract
"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
"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
"Objects and their Specification",
Proc1 8th Workshop on Abstract Data Type1 (ADT'91): Springer, Berlin, LNC1 655, pp. 40-65, 1992.
Abstract
"Objects, Object Types, and Object Identification",
Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989.
Abstract
"What Is an Object, After All?",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 39-70, 1991.
Abstract
"From Data Types to Object Types",
Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990.
Abstract
"From Processes to Objects",
The INESC Journal of Research and Development 1:1, pp. 7-27, 1990.
Abstract