The Software Architecture emerges as a crucial notion to specify and analyze complex systems: SA provides at a high level of abstraction a tractable description of the static and dynamic aspects that are relevant for design decisions and for system-level evaluations
SA = Structure + Behavior
The goal of this project is to develop and experiment rigorous approaches to the early evaluation, testing, and validation of large complex applications centered on the description of the SA.
The investigation also encompasses methods and tools for evaluating the functional and non-functional properties of SAs obtained by the assembly of reused or acquired components, according to the promising paradigm of Component-based Software Engineering.
Emphasis is on the transferability of the proposed methodologies: practical notations, such as UML, and widely used tools are adopted, and prototype tools and technologies are developed.
E. Marchetti, F. Martelli, A. Polini, "Refactoring
a Legacy System Using Components", Proc. 4th ACIS International
Conference on Software Engineering, Artificial Intelligence, Networking
and Parallel/Distributed Computing SNPD 2003, Lubeck, Germany,
October, 2003, p. 24-31.
A. Bertolino, E. Marchetti, A. Polini, "Integration
of "Components" to Test Software Components", Proc. International
Workshop on Test and Analysis of Component Based Systems TACOS
2003, Electronic Notes in Theoretical Computer Science, vol. 82,
n. 6, Warsaw, Poland, April 13, 2003.
F. Basanieri, A. Bertolino, E. Marchetti, "The
Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects",
Proc. Fifth International Conference on the Unified Modeling Language - the
Language and its applications UML 2002, LNCS 2460, Dresden, Germany, September
30 - October 4, 2002, p. 383-397.
F. Basanieri, A. Bertolino, E. Marchetti, A. Ribolini, G. Lombardi, G. Nucera,
"An
Automated Test Strategy Based on UML Diagrams", Ericsson Rational
User Conference, Upplands Vasby Sweden, 10-11 October 2001.
