1 The empirical study described in this paper focuses on the effectiveness of maintenance processes in an environment in which a repository of potential sources of reuse exists, e....
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
Brendan Haire, Brian Henderson-Sellers, David Lowe
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...