Home › Biblio

Biblio

Export 53 results:
Sort by: Author Keyword [ Title (Asc)] Type Year
Filters: First Letter Of Title is O  [Clear All Filters]
A B C D E F G H I J K L M N [O] P Q R S T U V W X Y Z   [Show ALL]
O
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  Download: 1992MFCS.pdf (56.77 KB)
Löhr-Richter, P., and G. Reichwein, "Object Orientation as a Promising Perspective for Life Cycle Models", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 289-306, 1993. Abstract
Löhr-Richter, P., and G. Reichwein, Object Oriented Life Cycle Model, , no. 93-05: University of Braunschweig, 1993. Abstract
Ehrich, H. - D., R. Jungclaus, and G. Denker, "Object Roles and Phases", Proc Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 114-121, 1993. Abstract
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
Hartel, P., and P. B. Inacio, "Object-Orientation and Information Modeling", Proc1 OOPSLA Workshop on Object-Oriented Reasoning in Information Modeling: Institute for Information Management and Department of Computer and Information Systems, Robert Morris College, Pennsylvania, pp. 13-16, 1992. Abstract
Hartel, P., and P. B. Inacio, "Object-Orientation and Real-Time System Development", Proc1 OOPSLA Workshop on Object-Oriented Technology in Real-Time Systems: Past, Present, and Future, 1992. Abstract
Gogolla, M., and I. Claßen, "An Object-Oriented Design for the ACT ONE Environment", Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
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)
Ehrich, H. - D., Y. Feng, D. Kung, and (eds), Object-Oriented Software Development, Dagstuhl Seminar Report 9715, , Schloss Dagstuhl, IBFI GmbH, 1997.  Download: 1997DagstuhlSemina9715.pdf (196.96 KB)
Saake, G., R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Specification and Stepwise Refinement", Proc Open Distributed Processing, Berlin (D), 8.-11. Okt 1991 (IFIP Transactions C: Communication Systems, Vol 1): North-Holland, pp. 99-121, 1992. Abstract  Download: 1992SaaJungEh.pdf (313.37 KB)
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc 13th Int Conf on Very Large Databases VLDB'87: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987. Abstract  Download: 1987VLDB.pdf (679.95 KB)
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
Ehrich, H. - D., M. Gogolla, and A. Sernadas, "Objects and their Specification", Proc 8th Workshop on Abstract Data Types (ADT'91): Springer, Berlin, LNCS 655, pp. 40-65, 1992. Abstract  Download: 1992ObjSpec.pdf (456.9 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract  Download: 2004ObjAgFeatIntro.pdf (294.54 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
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  Download: 1989ObjOtypOid.pdf (313.66 KB)
Saake, G., Objektorientierte Modellierung von Informationssystemen, , no. 28: Technische Universität Braunschweig, 1992. Abstract
Saake, G., Objektorientierte Spezifikation von Informationssystemen, : Teubner, 1993. Abstract
Saake, G., T. Hartmann, and R. Jungclaus, "Objektspezifikation von Benutzerschnittstellen in \tt TROLL", Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993. Abstract
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 KB)
Küster Filipe, J., On a Distributed Temporal Logic for Modular Object Systems, , no. 98-06: Technical University Braunschweig, 1998. Abstract
Conrad, S., "On Certification of Specifications for TROLL \it light\/ Objects", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, LNCS 785, pp. 158-172, 1994. Abstract
Kroll, H., and W. - T. Balke, "On Design Principles for Narrative Information Systems", Proceedings of the IJCAI/ECAI 2022 Workshop on Semantic Techniques for Narrative-based Understanding, Vienna, Austria, 12/2022. Abstract  Download: Kroll2022_On Narrative Information Systems.pdf (1.01 MB)
Kroll, H., N. Mainzer, and W. - T. Balke, "On Dimensions of Plausibility for Narrative Information Access to Digital Libraries", The 26th International Conference on Theory and Practice of Digital Libraries (TPDL), Padua, Italy, Springer, 09/2022. Abstract  Download: TPDL_2022_Kroll_Dimensions_for_NIA.pdf (600.1 KB)
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000. Abstract
Saake, G., On First Order Temporal Logics with Changing Domains for Information System Specification, , no. 89-01: Technische Universität Braunschweig, 1989. Abstract
Gogolla, M., "On Formal Semantics of Some Semantic Data Models", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994. Abstract
Gogolla, M., "On Parametric Algebraic Specifications with Clean Error Handling", Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987. Abstract