Abstract is missing.
- Trust or verify?Bertrand Meyer. 1-2 [doi]
- Automatic detection of performance anti-patterns in inter-component communicationsAlexander Wert, Marius Oehler, Christoph Heger, Roozbeh Farahbod. 3-12 [doi]
- Architectural tactics support in cloud computing providers: the jelastic caseJaime Chavarriaga, Carlos Noguera, Rubby Casallas, Viviane Jonckers. 13-22 [doi]
- Performance-based selection of software and hardware features under parameter uncertaintyLeire Etxeberria, Catia Trubiani, Vittorio Cortellessa, Goiuria Sagardui. 23-32 [doi]
- Dealing with uncertainties in the performance modelling of software systemsDiego Perez-Palacin, Raffaela Mirandola. 33-42 [doi]
- Experiences with modeling memory contention for multi-core industrial real-time systemsThijmen de Gooijer, K. Eric Harper. 43-52 [doi]
- Using architecture-level performance models as resource profiles for enterprise applicationsAndreas Brunnert, Kilian Wischer, Helmut Krcmar. 53-62 [doi]
- Empirical resilience evaluation of an architecture-based self-adaptive software systemJavier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira. 63-72 [doi]
- Architecture management and evaluation in mature products: experiences from a lightweight approachMikko Raatikainen, Juha Savolainen, Tomi Männistö. 73-82 [doi]
- Failure data collection for reliability prediction models: a surveyBarbora Buhnova, Stanislav Chren, Lucie Fabriková. 83-92 [doi]
- Efficient re-resolution of SMT specifications for evolving software architecturesKenneth Johnson, Radu Calinescu. 93-102 [doi]
- Regression verification of AADL models through slicing of system dependence graphsAndreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen. 103-112 [doi]
- Evaluation of a static architectural conformance checking method in a line of computer gamesTobias Olsson, Daniel Toll, Anna Wingkvist, Morgan Ericsson. 113-118 [doi]
- An empirical investigation of modularity metrics for indicating architectural technical debtZengyang Li, Peng Liang, Paris Avgeriou, Nicolas Guelfi, Apostolos Ampatzoglou. 119-128 [doi]
- Formalizing correspondence rules for automotive architecture viewsYanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu, Mark G. J. van den Brand. 129-138 [doi]
- SRMP: a software pattern for deadlocks prevention inreal-time concurrency modelsRania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. 139-144 [doi]
- Software QoS enhancement through self-adaptation and formal modelsRaffaela Mirandola, Diego Perez-Palacin. 145-146 [doi]
- Designing and evolving distributed architecture using kevoreeFrançois Fouquet, Grégory Nain, Erwan Daubert, Johann Bourcier, Olivier Barais, Noël Plouzeau, Brice Morin. 147-148 [doi]