In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...
Bas van Gils, Henderik Alex Proper, Patrick van Bo...