Steffen Becker, Frantisek Plasil, Ralf H. Reussner
Proceedings of the Fourth International Conference on Quality of Software Architectures: Models and Architectures
QoSA, 2008.

@proceedings{QoSA-2008,
	address       = "Karlsruhe, Germany",
	editor        = "Steffen Becker and Frantisek Plasil and Ralf H. Reussner",
	isbn          = "978-3-540-87878-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Quality of Software Architectures: Models and Architectures}",
	volume        = 5281,
	year          = 2008,
}

Contents (14 items)

8 ×#architecture
5 ×#analysis
4 ×#design
3 ×#modelling
2 ×#evaluation
2 ×#framework
2 ×#model checking
2 ×#named
2 ×#performance
2 ×#quality

QoSA-2008-ArdagnaGM #architecture #modelling #using

Rethinking the Use of Models in Software Architecture (DA, CG, RM), pp. 1–27.

QoSA-2008-TangTHV #design #quality #reasoning

Design Reasoning Improves Software Design Quality (AT, MHT, JH, HvV), pp. 28–42.

QoSA-2008-LeeK #architecture #design #visualisation

A Tool to Visualize Architectural Design Decisions (LL, PK), pp. 43–54.

QoSA-2008-MalletR #analysis #distributed #model transformation

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.

QoSA-2008-PlsekA #component #model checking #named

Carmen: Software Component Model Checker (AP, JA), pp. 71–85.

QoSA-2008-CortellessaPSV #analysis #architecture #framework #modelling #named #performance #platform #uml

MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis (VC, PP, RS, AV), pp. 86–102.

QoSA-2008-RaadtV #architecture #design #enterprise

Designing the Enterprise Architecture Function (BvdR, HvV), pp. 103–118.

QoSA-2008-GallottiGMT #composition #model checking #predict #probability #quality

Quality Prediction of Service Compositions through Probabilistic Model Checking (SG, CG, RM, GT), pp. 119–134.

QoSA-2008-MorenoM #analysis #modelling #performance

Model-Driven Performance Analysis (GAM, PM), pp. 135–151.

QoSA-2008-WaignierMD #analysis #architecture #specification

Architectural Specification and Static Analyses of Contractual Application Properties (GW, AFLM, LD), pp. 152–170.

QoSA-2008-PaceKBBB #design #framework #reasoning

Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant (ADP, HK, LB, PB, FB), pp. 171–188.

QoSA-2008-LiuBG #architecture #evaluation #middleware #self

Middleware Architecture Evaluation for Dependable Self-managing Systems (YL, MAB, IG), pp. 189–204.

QoSA-2008-SalgerBEL #architecture #evaluation #scalability

Comprehensive Architecture Evaluation and Management in Large Software-Systems (FS, MB, GE, CL), pp. 205–219.

QoSA-2008-JansenVAV #analysis #architecture

Sharing the Architectural Knowledge of Quantitative Analysis (AJ, TdV, PA, MvV), pp. 220–234.