Journal: Computing

Volume 95, Issue 8

633 -- 648Antonia Bertolino, Paola Inverardi, Henry Muccini. Software architecture-based analysis and testing: a look into achievements and future challenges
649 -- 688De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl. An architectural approach to the analysis, verification and validation of software intensive embedded systems
689 -- 722Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura. Architecture-based resilience evaluation for self-adaptive systems