Home › Biblio

Biblio

Export 49 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
Filters: First Letter Of Title is T  [Clear All Filters]
1974
Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract  Download: 1974IFIP.pdf (217.89 KB)
1984
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
1987
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract  Download: 1987ThreeLevelSpec.pdf (1.21 MB)
1988
Hohenstein, U., and M. Gogolla, Towards a Semantic View of an Extended Entity-Relationship Model, , no. 88-02: Technische Universität Braunschweig, 1988. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988. Abstract
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
1989
Hülsmann, K., and G. Saake, Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring, , no. 89-04: Technische Universität Braunschweig, 1989. Abstract
1990
Hülsmann, K., "Temporal Integrity Constraints in the Database Design Environment CADDY", Proc1 Workshop on Foundations of Models and Languages for Data and Objects, Aigen (A): Informatik-Bericht 90/3, TU Clausthal, pp. 191-198, 1990. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Theoretical Computer Science, vol. 76, pp. 115-142, 1990. Abstract
1991
Hülsmann, K., "A Temporal-Logic-Based Query Language for Querying Database Histories", Proc1 2nd Int1 Conf1 on Database and Expert Systems (DEXA'91): Springer, pp. 393-399, 1991. Abstract
Neumann, K., "Thematische Karten als Datenbankobjekte", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 106, pp. 83-94, 1991. Abstract
Hülsmann, K., and G. Saake, "Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring", Acta Informatica, vol. 28, no. Fasc 4, pp. 365-407, 1991. Abstract
Claßen, I., and M. Gogolla, Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE, , no. 91/11: Technische Universität Berlin, 1991. Abstract
Gogolla, M., and U. Hohenstein, "Towards a Semantic View of an Extended Entity-Relationship Model", ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991. Abstract
1992
Denker, G., "Towards Semantic Foundation of Basic TROLL \em light Constructs", 41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 22-26, 1992. Abstract
Herzig, R., and M. Gogolla, "Transforming Conceptual Data Models into an Object Model", Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992. Abstract
Conrad, S., M. Gogolla, and R. Herzig, TROLL \em light\/: A Core Language for Specifying Objects, , no. 92-02: TU Braunschweig, 1992. Abstract
1993
Denker, G., and M. Gogolla, "Translating TROLL \em light Concepts to Maude", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, Berlin, LNCS 785, pp. 173-187, 1993. Abstract
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract  Download: 1993KorSo.pdf (314.47 KB)
1994
Conrad, S., "Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 228-241, 1994. Abstract
Herzig, R., and N. Vlachantonis, "TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems", Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994. Abstract
1995
Denker, G., "Transactions in Object-Oriented Specifications", 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. 203-218, 1995. Abstract
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
1996
Denker, G., and J. Küster Filipe, "Towards a Model for Asynchronously Communicating Objects", Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996. Abstract
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract  Download: 1996Beijing.pdf (283.86 KB)
1998
Eckstein, S., "Towards a Module Concept for Object Oriented Specification Languages", Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998. Abstract
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)
2001
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Techniques and Language Constructs for Developing Generic Information Systems: A Case Study", Int. Symp. on Software Reusability (SSR'01), Toronto: ACM, pp. 145-154, 2001. Abstract
Güntzer, U., W. - T. Balke, and W. Kießling, "Towards Efficient Multi-Feature Queries in Heterogeneous Environments", IEEE International Conference on Information Technology: Coding and Computing (ITCC 2001), Las Vegas, NV, USA, 2001. Abstract  Download: itcc01.pdf (92.73 KB)
2003
Balke, W. - T., and M. Wagner, "Towards Personalized Selection of Web Services", 12th International World Wide Web Conference (WWW 2003), Budapest, Hungary, ACM, 2003. Abstract  Download: www03.pdf (380.89 KB)
2004
Nahrstedt, K., and W. - T. Balke, "A Taxonomy for Multimedia Service Composition", 12th Annual ACM Multimedia Conference (MM 2004), New York, NY, USA, ACM, 2004. Abstract  Download: mm04.pdf (226.93 KB)
Balke, W. - T., and M. Wagner, "Through Different Eyes – Assessing Multiple Conceptual Views for Querying Web Services", 13th International World Wide Web Conference (WWW 2004), New York, NY, USA, 2004. Abstract  Download: www04.pdf (184.9 KB)
Nejdl, W., W. Siberski, U. Thaden, and W. - T. Balke, "Top-k Query Evaluation for Schema-Based Peer-to-Peer Networks", 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, Springer , 2004. Abstract  Download: iswc04.pdf (142.1 KB)
2005
Nahrstedt, K., and W. - T. Balke, "Towards Building Large Scale Multimedia Systems and Applications: Challenges and Status", 1st ACM Workshop on Multimedia Service Composition (MSC 2005), Singapore, ACM, 2005. Abstract  Download: msc05.pdf (87.11 KB)
2007
Neumann, K., and S. Eckstein, "Towards Meta-Automating the German Real Estate Map", International Symposium on LandCover Logic: LNI, pp. 55-68, 2007. Abstract