"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...