Hartmann, T., R. Jungclaus, and G. Saake,
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann,
"Analysis of CERN computing infrastructure and monitoring data",
21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015.
Abstract
Ehrich, H. - D., and A. Sernadas,
"Algebraic Implementation of Objects over Objects",
Proc REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990.
Abstract
Download: 1990AlgImplem.pdf (479.42 KB)
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