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)