Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marco Bernardo, Paola Inverardi, editors, Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Volume 2804 of Lecture Notes in Computer Science, Springer, 2003.

Conference: sfm2003

Abstract is missing.

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and EventsDavid Garlan. 1-24 [doi]

From System Goals to Software ArchitectureAxel van Lamsweerde. 25-43 [doi]

Software Architecture Modeling & Analysis: A Rigorous ApproachJeff Kramer, Jeff Magee, Sebastián Uchitel. 44-51 [doi]

The Application of Dependence Analysis to Software Architecture DescriptionsJudith A. Stafford, Alexander L. Wolf, Mauro Caporuscio. 52-62 [doi]

Validating Distributed Object and Component DesignsNima Kaveh, Wolfgang Emmerich. 63-91 [doi]

Software Architecture for Correct Components AssemblyPaola Inverardi, Massimo Tivoli. 92-121 [doi]

Formal Methods in Testing Software ArchitecturesAntonia Bertolino, Paola Inverardi, Henry Muccini. 122-147 [doi]

Architecture Based Evolution of Software SystemsLuis Filipe Andrade, José Luiz Fiadeiro. 148-181 [doi]

Software Architecture for Mobile ComputingAmy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman. 182-206 [doi]

Performance Evaluation at the Software Architecture LevelSimonetta Balsamo, Marco Bernardo, Marta Simeoni. 207-258 [doi]

Software Architecture and DependabilityValérie Issarny, Apostolos Zarras. 259-286 [doi]

runs on WebDSL