Biblio

Export 710 results:
Sort by: [ Author  (Asc)] Keyword Title 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 
G
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
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
Gogolla, M., "Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach", Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989. Abstract
Gogolla, M., Datalog - Eine deduktive Datenbanksprache, , no. 25: Technische Universität Braunschweig, 1990. Abstract
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. Abstract
Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis, "A Development Environment for an Object Specification Language", IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 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)
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
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
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. 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)
Grau, A., "Validating Object-Oriented Specifications through Animation", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 26-30, 1997. Abstract
Grau, A., "Analysing Object Specifications for Execution", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998. Abstract
Grau, A., "An Animation System for Validating Object-Oriented Conceptual Models", 4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997. Abstract
Grau, A., and M. Kowsari, "A Validation System for Object-Oriented Specifications of Information Systems", Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997. Abstract
Güntzer, U., W. - T. Balke, and W. Kießling, "Optimizing Multi-Feature Queries for Image Databases", 26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000. Abstract  Download: vldb00.pdf (190.85 KB)
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)
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)
H
Hartel, P., and R. Jungclaus, "Modeling Business Processes over Objects", Int1 Journal of Cooperative Information Systems, vol. 4, no. 2, pp. 165-188, 1995. Abstract
Hartel, P., T. Hartmann, J. Kusch, and G. Saake, "Specifying Information System Dynamics in \sc TROLL", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994. 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
Hartel, P., and R. Jungclaus, "Specifying Business Processes over Objects", Proc1 13th Int1 Conf1 on the Entity-Relationship Approac1 (ER'94): Springer, LNCS 881, Berlin, pp. 10-27, 1994. Abstract
Hartel, P., Modelling Complex Systems, : Technische Universität Braunschweig, 1995. 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
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract