Biblio

Export 52 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Gogolla, M.  [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 
G
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. 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., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract  Download: 1983ExceptErrors.pdf (198.63 KB)
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., "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
H
Herzig, R., and M. Gogolla, "An Animator for the Object Specification Language TROLL \em light", Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994. 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
Herzig, R., S. Conrad, and M. Gogolla, "Compositional Description of Object Communities with TROLL \em light", Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994. Abstract
Herzig, R., and M. Gogolla, "A SQL-like Query Calculus for Object-Oriented Database Systems", Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994. Abstract
Herzig, R., H. Fischer, and M. Gogolla, "Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen", Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994. Abstract
Hohenstein, U., and M. Gogolla, "A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions", Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988. Abstract
K
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. Abstract
L
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
M
V
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)