Biblio

Export 683 results:
Sort by: Author Keyword [ Title  (Desc)] Type Year
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 
O
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
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
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
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
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)
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
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)
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)
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)
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)
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)
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., 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)
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
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
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
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
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
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
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
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)
N
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 KB)