Marco Bernardo, Paola Inverardi
Advanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures
SFM, 2003.

@proceedings{SFM-2003,
	address       = "Bertinoro, Italy",
	editor        = "Marco Bernardo and Paola Inverardi",
	isbn          = "3-540-20083-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures}",
	volume        = 2804,
	year          = 2003,
}

Event page: http://www.sti.uniurb.it/events/sfm03sa/

Contents (11 items)

10 ×#architecture
3 ×#analysis
3 ×#component
2 ×#dependence
2 ×#formal method
2 ×#modelling

SFM-2003-Garlan #analysis #architecture #component #formal method #modelling

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (DG), pp. 1–24.

SFM-2003-Lamsweerde #architecture

From System Goals to Software Architecture (AvL), pp. 25–43.

SFM-2003-KramerMU #analysis #approach #architecture #modelling

Software Architecture Modeling & Analysis: A Rigorous Approach (JK, JM, SU), pp. 44–51.

SFM-2003-StaffordWC #analysis #architecture #dependence

The Application of Dependence Analysis to Software Architecture Descriptions (JAS, ALW, MC), pp. 52–62.

SFM-2003-KavehE #component #design #distributed #validation

Validating Distributed Object and Component Designs (NK, WE), pp. 63–91.

SFM-2003-InverardiT #architecture #assembly #component

Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.

SFM-2003-BertolinoIM #architecture #formal method #testing

Formal Methods in Testing Software Architectures (AB, PI, HM), pp. 122–147.

SFM-2003-AndradeF #architecture #evolution

Architecture Based Evolution of Software Systems (LFA, JLF), pp. 148–181.

SFM-2003-MurphyPR #architecture #mobile

Software Architecture for Mobile Computing (ALM, GPP, GCR), pp. 182–206.

SFM-2003-BalsamoBS #architecture #evaluation #performance

Performance Evaluation at the Software Architecture Level (SB, MB, MS), pp. 207–258.

SFM-2003-IssarnyZ #architecture #dependence

Software Architecture and Dependability (VI, AZ), pp. 259–286.