Lionel Seinturier, Tomás Bures, John D. McGregor
Proceedings of the 10th International Conference on Quality of Software Architectures
QoSA, 2014.

@proceedings{QoSA-2014,
	acmid         = "2602576",
	address       = "Lille, France",
	editor        = "Lionel Seinturier and Tomás Bures and John D. McGregor",
	isbn          = "978-1-4503-2576-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th International Conference on Quality of Software Architectures}",
	year          = 2014,
}

Contents (18 items)

9 ×#architecture
7 ×#modelling
4 ×#performance
3 ×#evaluation
2 ×#adaptation
2 ×#case study
2 ×#empirical
2 ×#evolution
2 ×#experience
2 ×#formal method

QoSA-2014-Meyer #question #trust #verification

Trust or verify? (BM), pp. 1–2.

QoSA-2014-WertOHF #anti #automation #component #detection #performance

Automatic detection of performance anti-patterns in inter-component communications (AW, MO, CH, RF), pp. 3–12.

QoSA-2014-ChavarriagaNCJ #architecture #in the cloud

Architectural tactics support in cloud computing providers: the jelastic case (JC, CN, RC, VJ), pp. 13–22.

QoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity

Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.

QoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance

Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.

QoSA-2014-GooijerH #case study #experience #industrial #manycore #memory management #modelling #realtime

Experiences with modeling memory contention for multi-core industrial real-time systems (TdG, KEH), pp. 43–52.

QoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using

Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.

QoSA-2014-CamaraCLV #adaptation #architecture #empirical #evaluation #self

Empirical resilience evaluation of an architecture-based self-adaptive software system (JC, PC, RdL, MV), pp. 63–72.

QoSA-2014-RaatikainenSM #approach #architecture #case study #evaluation #experience #lightweight #maturity

Architecture management and evaluation in mature products: experiences from a lightweight approach (MR, JS, TM), pp. 73–82.

QoSA-2014-BuhnovaCF #modelling #overview #predict #reliability

Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.

QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification

Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification

Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.

QoSA-2014-OlssonTWE #architecture #consistency #evaluation #game studies

Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.

QoSA-2014-LiLAGA #architecture #composition #empirical #metric #technical debt

An empirical investigation of modularity metrics for indicating architectural technical debt (ZL, PL, PA, NG, AA), pp. 119–128.

QoSA-2014-DajsurenGSWVB #architecture #formal method

Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.

QoSA-2014-MzidMBA #concurrent #design pattern #modelling #named #realtime

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.

QoSA-2014-MirandolaP #adaptation #formal method #modelling #self

Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.

QoSA-2014-FouquetNDBBPM #architecture #design #distributed #evolution #using

Designing and evolving distributed architecture using kevoree (FF, GN, ED, JB, OB, NP, BM), pp. 147–148.