We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...