Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
We present a new and flexible formulation of Coppersmith’s method for finding small solutions of bivariate polynomials p(x, y) over the integers. Our approach allows to maximiz...
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
Building on earlier empirical work we have designed a prototype that supports modeling in groups. The COllaborative Modeling Architecture tool (COMA tool) coordinates UML modeling ...
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...