default search action
10th QoSA 2014: Marcq-en-Baroeul, Lille, France
- Lionel Seinturier, Tomás Bures, John D. McGregor:
QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014. ACM 2014, ISBN 978-1-4503-2576-9
Keynote address
- Bertrand Meyer:
Trust or verify? 1-2
Performance of architectures
- Alexander Wert, Marius Oehler, Christoph Heger, Roozbeh Farahbod:
Automatic detection of performance anti-patterns in inter-component communications. 3-12 - Jaime Chavarriaga, Carlos Noguera, Rubby Casallas, Viviane Jonckers:
Architectural tactics support in cloud computing providers: the jelastic case. 13-22 - Leire Etxeberria, Catia Trubiani, Vittorio Cortellessa, Goiuria Sagardui:
Performance-based selection of software and hardware features under parameter uncertainty. 23-32
Performance modelling
- Diego Perez-Palacin, Raffaela Mirandola:
Dealing with uncertainties in the performance modelling of software systems. 33-42 - Thijmen de Gooijer, K. Eric Harper:
Experiences with modeling memory contention for multi-core industrial real-time systems. 43-52 - Andreas Brunnert, Kilian Wischer, Helmut Krcmar:
Using architecture-level performance models as resource profiles for enterprise applications. 53-62
Architecture evaluation
- Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira:
Empirical resilience evaluation of an architecture-based self-adaptive software system. 63-72 - Mikko Raatikainen, Juha Savolainen, Tomi Männistö:
Architecture management and evaluation in mature products: experiences from a lightweight approach. 73-82 - Barbora Buhnova, Stanislav Chren, Lucie Fabriková:
Failure data collection for reliability prediction models: a survey. 83-92
Architecture analysis I
- Kenneth Johnson, Radu Calinescu:
Efficient re-resolution of SMT specifications for evolving software architectures. 93-102 - Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen:
Regression verification of AADL models through slicing of system dependence graphs. 103-112 - Tobias Olsson, Daniel Toll, Anna Wingkvist, Morgan Ericsson:
Evaluation of a static architectural conformance checking method in a line of computer games. 113-118
Architecture analysis II
- Zengyang Li, Peng Liang, Paris Avgeriou, Nicolas Guelfi, Apostolos Ampatzoglou:
An empirical investigation of modularity metrics for indicating architectural technical debt. 119-128 - Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu, Mark G. J. van den Brand:
Formalizing correspondence rules for automotive architecture views. 129-138 - Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid:
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. 139-144
Tutorials
- Raffaela Mirandola, Diego Perez-Palacin:
Software QoS enhancement through self-adaptation and formal models. 145-146 - François Fouquet, Grégory Nain, Erwan Daubert, Johann Bourcier, Olivier Barais, Noël Plouzeau, Brice Morin:
Designing and evolving distributed architecture using kevoree. 147-148
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.