Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...