Travelled to:1 × Austria
1 × Italy
Collaborated with:P.Inverardi A.D'Onofrio A.D.Marco P.Pelliccione A.Sebastiani
Talks about:softwar (2) valid (2) architectur (1) industri (1) perform (1) analysi (1) integr (1) experi (1) design (1) model (1)
Person: Daniele Compare
DBLP: Compare:Daniele
Contributed to:
2004
2003Wrote 2 papers:
- ASE-2004-CompareDMI #automation #design #experience #industrial #performance #validation
- Automated Performance Validation of Software Design: An Industrial Experience (DC, AD, ADM, PI), pp. 298–301.
- FME-2003-CompareIPS #analysis #architecture #lifecycle #model checking #validation
- Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (DC, PI, PP, AS), pp. 114–132.