Biblio

Export 683 results:
Sort by: Author Keyword Title [ Type  (Desc)] Year
Conference Proceedings
Kowsari, M., and A. Grau, "An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.", Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998. 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
Schwiderski, S., and G. Saake, "Expressing Temporal Behaviour with Extended ECA Rules", Proc1 12th British National Conference on Databases (BNCO1 12), University of Surrey: Springer, LNCS, Berlin, 1994. Abstract
Hohenstein, U., L. Neugebauer, and G. Saake, "An Extended Entity-Relationship Model for Non-Standard Databases", Proc1 Workshop ``Relationale Datenbanken'', Bericht Nr1 3-86: Inst1 für Informatik, TU Clausthal-Zellerfeld, pp. 185-211, 1986. Abstract
Gogolla, M., "A Final Algebra Semantics for Errors and Exceptions", Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D): Springer, Berlin, IF1 116, pp. 89-103, 1985. Abstract
Mathiak, B., and S. Eckstein, "Five steps to text mining in biomedical literature", WS on Data Mining and Text Mining for Bioinformatics at PKDD/ECML 2004. Proc. 15th European Conf. on Machine Learning and the 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, pp. 43-47, 2004. Abstract
Kowsari, M., "Formal Object Oriented Specification Language \sc Troll in Information System Design", Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. 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
Neumann, K., "Formulierung von Integritätsbedingungen in verschiedenen SQL-Dialekten", Proc1 GI-Workshop ``Aktive Datenbanken'', Hamburg, 2.9.94: GI-Datenbankrundbrief 14, pp. 17-21, 1994. Abstract
Saake, G., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract
Gogolla, M., S. Güler, and R. Herzig, "From Object Specification to Enhanced Logic Programming", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994. Abstract
Ehrich, H. - D., and A. Sernadas, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. 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
Löhr-Richter, P., "Generische Methoden zur Beschreibung des Software-Entwicklungsprozesses", Proc1 5. Kolloquium Technische Akademie Esslingen: Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen '93: Technische Akademie Esslingen, pp. 551-558, 1993. Abstract
Lohmann, F., and K. Neumann, "A Geoscientific Database System Supporting Cartography and Application Programming", Proc1 8th British Nat1 Conf1 on Databases BNCOD-8: Pitman, London, 1990, pp. 179-195, 1990. Abstract
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Handling Changes of Database Schemas and Corresponding Ontologies", Advances in Conceptual Modeling - Theory and Practice - ER Workshops 2006: Springer, pp. 227-236, Nov, 2006. Abstract
Engels, G., T. Janning, and W. Schäfer, "A Highly Integrated Tool Set for Program Development Support", Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988. Abstract
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
Engels, G., and A. Schürr, "A Hybrid Interpreter in a Software Development Environment", Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988. Abstract
Vlachantonis, N., "Ideen zur Architektur einer offenen und integrierten Entwurfsumgebung für Informationssysteme", 41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 157-161, 1992. Abstract
Mathiak, B., A. Kupfer, R. Münch, C. Täubner, and S. Eckstein, "Improving Literature Preselection by Searching for Images", Knowledge Discovery in Life Science Literature: Springer LNBI 3886, pp. 18-28, April, 2006. Abstract
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Increasing Reusability in Information Systems Development by Applying Generic Methods", Proc. 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE'01), Interlaken: Springer, pp. 251-266, 2001. Abstract
Saake, G., and R. Jungclaus, "Information about Objects versus Derived Objects", Second Workshop on Foundations and Languages for Data and Objects: Informatik-Bericht 90/3, Technische Universität Clausthal, pp. 59-70, 1990. Abstract
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra, "Inheritance Conditions for Object Life Cycle Diagrams", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994. Abstract
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
Gogolla, M., R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis, "Integrating the ER Approach in an OO Environment", Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic", Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999. 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
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Keeping Track of Changes in Database Schemas and Related Ontologies", 7. Int. Baltic Conference on Databases and Information Systems: IEEE, pp. 63-68, July, 2006. Abstract
Ebert, J., and G. Engels, "Konzepte einer Software-Architektur-Beschreibungssprache", Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989. Abstract
Saake, G., and R. Jungclaus, "Konzeptioneller Entwurf von Objektgesellschaften", Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft BTW'91: Informatik-Fachberichte IFB 270, Springer, Berlin, pp. 327-343, 1991. Abstract
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Language Constructs for Conceptual Modelling of Mobile Object System s", Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003. Abstract