italiano | contact

Reducing Software Architecture Models Complexity: a Slicing and Abstraction Approach

Daniela Colangelo, Daniele Compare, Paola Inverardi, and Patrizio Pelliccione

26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006). September 26-29 2006, Paris, France. LNCS. 4229. pp. 243–258, 2006., 2006

Contact: ,



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›