One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
This paper contains a study on how Participatory Design (PD) and distributed software development (DSD) are linked up and whether Distributed Participatory Design is an inherent pa...
Karin Danielsson, Amir M. Naghsh, Dorina C. Gumm, ...
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...