In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
In this article, we are interested in providing a framework to develop games for visually impaired or blind children. In this context, we propose a tool set to ease the creation o...
Cyrille Bertelle, Antoine Dutot, Sylvain Lerebourg...
Process management systems are used in many domains to monitor and control processes. Development processes require specific support, which is not provided by conventional workflow...