Engineering from the University of Michigan, and a Ph.D. in Information Technologies from the MIT Sloan School of Management. His current research interests include IT adoption and diffusion, management of technology and innovation, software development tools and methods, and real options. He has published in Abstract The extent of organizational innovation with IT, an important construct in th...

The World Wide Web is in constant renovation, with new technologies emerging every day. Most of these technologies are still incipient, and there are few de facto standards for this \new Web". There is a need for tools that can run with current standard support, but which are exible and extensible enough to be eventually ported to new APIs and to incorporate new technologies. On the other hand,...

SPADE is a project carried out at CEFRIEL and Politecnico di Milano. It aims at deening a process modeling language (called SLANG) and a Process-centered Software Engineering Environment (PSEE) based on this language. PSEEs support software activities through the execution of the model of the software process. Such a model integrates the description of human activities and of the interaction be...

Model driven software development and semantic web technologies are spreading increasingly. But today semantic web technologies are rarely used in the software development, even though the additional use of these technologies could improve the software development process. One reason for the rare use of these technologies in the software development is that semantic web technologies are barely ...

The paper presents guidelines on criteria and procedures for evaluating software development tools used in safety-critical real-time systems. We present, first, a view of the taxonomy of software development tools from the perspective of the development process and the development environment. The investigation concentrates on evaluating the design tools, considering their interfaces with the r...

Software engineering continues to develop methods for process improvement and quality. The Personal Software Process is one way to introduce software engineers to aspects of process tracking, assessment and improvement. In this paper, we describe the software tools that we’ve constructed to support the planning and postmortem of software activities. We describe an approach that allows the perso...

A Sofinrare Engineering environment, the Cooperative Work Sofware Process (CWSP), and a design tool, the Cooperative Work Application Design (CWAD) are described. Both are based on .the Cooperative Work St orage, Logic. and Resources model (CIVSLR). A simplfled version ofthe model is riscd to drive de user interface, and the strrictlire of the model detertttitles the control /low of the design ...

Model Driven Engineering (MDE) considers models as a key artifact in software processes, and focus on the creation of models and transformations between them in order to (semi) automatically generate code. In this paper, we step back and consider the software process model itself as a key artifact that can be enacted and semi automated. We support our vision by proposing an architecture for a c...

Interactive proofs are often considered as costs of formal modelling activity. In an incremental development environment such as the Rodin platform for Event-B, information from proof attempts is important input for adapting the model. This paper considers the idea of using interactive proofs to " improve " the model, in particular, to convert them into automatic ones. We propose to lift some e...

Software development in parallel/distributed environment is a non-trivial task and depends greatly on the availability of appropriate support in terms of development tools and environments. Perforamnce pre-diction/evaluation tools form a critical part of any software development environment as they enable the developer to visualize the eeects of various design choices on the performance of the ...