The HCM project De Stijl

D O C U M E N T S Some information about the project can be obtained from the following documents:

Some published material:

P. Cenciarelli, A. Knapp, B. Reus, M. Wirsing: From Sequential to Multi-Threaded Java: an Event-Based Operational Semantics
to appear Proceedings AMAST'97 (postscript)
E. Saaman, P. Cenciarelli: Using Monads in Algebraic Specification
12th Workshop on Algebraic Development Technology (WADT97), Tarquinia, 3-6 June 1997 (postscript)
P. Cenciarelli: A Modular Development of Denotational Semantics in LEGO
Proc. of ACCOLADE'96, Nijmegen, 21-22 November 1996 (postscript)
C. Pahl: A Model for Dynamic State-based Systems
Proc. Northern Formal Methods Workshop, Sept.'96, Bradford, UK (abstract)
A.P. Hughes, C. Pahl: A Generic Model for State-based Agent Systems
Proc. 1st Irish Workshop on Formal Methods, July 1997, Dublin, Ireland (abstract)
C. Pahl: Modular, Behaviour Preserving Extensions of the Unix C-shell Interpreter Language
Technical Report IT-TR:1997-014, Department of Information Technology, Technical University of Denmark (postscript)
C. Pahl: A Modular Development of the Denotational RSL Concurrency Model
Technical Report IT-TR:1997-016, Department of Information Technology, Technical University of Denmark (postscript)
G. Renardel de Lavalette, R. Groenboom, E. Rotterdam, F. van Harmelen, A. ten Teije, F. de Geus: Formalisation for decision support in anaesthesiology
to appear : Artificial Intelligence in Medicine 9 (1997) (postscript)
G. Renardel de Lavalette : How to change your world - a variant of Quantified Dynamic Logic
submitted for publication (postscript)
D. Fensel, R. Groenboom, G. Renardel de Lavalette: Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-based Systems
to appear : Data and Knowledge Engineering (postscript)
R. Groenboom, E. Saaman, E. Rotterdam, G. Renardel de Lavalette: Formalization Anesthesia, a case study in formal specification
In proceedings of: Formal Methods Europe 1996. LNCS 1051, pp. 120 - 139. (postscript)