Publications 1996
Den96
G. Denker.
Reification - Changing Viewpoint but Preserving Truth..
In Haveraan, M., and Owe, O., and Dahl, O.-J., editors, 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, pages 182-199. Springer, LNCS 1130, 1996.
(PostScript)
KKHDE96
Krone, M., Kowsari, M., Hartel, P., Denker, G., and Ehrich, H.-D.
Developing an Information System Using TROLL: an Application Field
Study..
In Constantopoulos, P., Mylopoulos, J., and Vassiliou, Y., editors,
Proc. 8th Int. Conf. on Advanced Information Systems
Engineering;(CAiSE'96), pages 136-159. Springer, Berlin, LNCS 1080,
1996.
(PostScript)
KHDE96
Kowsari, M., Hartel, P., Denker, G., and Ehrich, H.-D.
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.
DenKue96
Denker, G. and Küster Filipe, J.
Towards a Model for Asynchronously Communicating Objects..
In Haav, H.-M., and Thalheim, B. editors, Proc. 2nd Int. Baltic Workshop on
Databases and Information Systems, Tallinn, June 12-14, 1996, pages 182-193. Institute of Cybernetics, 1996.
(PostScript)
Den96b
Denker, G.
Semantic Refinement of Concurrent Object Systems Based on Serializability..
In Freitag, B., Jones, C. B., Lengauer, C., and Schek, H.-J.,
editors, ``Object-Orientation with
Parallelism and Persistence'', pages 105-126. Kluwer
Academic Publ., 1996.
(PostScript)
Den96Diss
Denker, G.
Verfeinerung in objektorientierten Spezifikationen: Von
Aktionen zu Transaktionen.
volume 6 of Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1996.
DenSch96
Denker, G. and Schwarz, K.
Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht..
In Beiträge der GI-Fachtagung Softwaretechnik'96 (ST96), Koblenz, 12.- 13. September 1996,
pages 97-104. Universität Koblenz-Landau, Fachbereich Informatik, 1996.
(PostScript)
HuhWehDen96
Huhn, M., Wehrheim, H., and Denker, G.
Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach..
In U. Herzog, H. Hermanns, editors,GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken
für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen,
Germany, number 29/9 in Arbeitsbericht des IMMD, pages 77-88, 1996.
(PostScript)