Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...
Thomas Bebensee, Inge van de Weerd, Sjaak Brinkkem...
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually com...
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...