Home › Biblio

Biblio

Export 32 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: Author is Denker, G.  [Clear All Filters]
Miscellaneous
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. Abstract
Journal Article
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
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract  Download: 1997InfSysAtWork.pdf (846.73 KB)
Conference Proceedings
Huhn, M., H. Wehrheim, and G. Denker, "Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach", GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996. 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
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
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. Abstract
Denker, G., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract
Denker, G., "Reification - Changing Viewpoint but Preserving Truth", Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996. Abstract
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. Abstract
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
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
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
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
Conference Paper
Huhn, M., H. Wehrheim, and G. Denker, Action Refinement - An Application of Process Theory on Object-Oriented Specification, , no. 40/95: Universität Hildesheim, November, 1995. Abstract
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract
Ehrich, H. - D., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract  Download: 1993TAPSOFT.pdf (320.97 KB)
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract  Download: 1996CAiSE.pdf (438.58 KB)
Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract
Gogolla, M., N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H. - D. Ehrich, The KORSO Approach to the Development of Reliable Information Systems, , no. 94-06: Technische Universität Braunschweig, 1994. Abstract
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
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)
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract  Download: 1997DenkerEhrich.pdf (548.39 KB)
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)
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract  Download: 1993GI.pdf (401.19 KB)
Denker, G., and P. Hartel, \sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics, , no. 97-03: Technische Universität Braunschweig, 1997. Abstract
Book Chapter
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
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)
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract