School of Computing

Architectural description of dependable software systems

Cristina Gacek and Rog�rio de Lemos

Technical report, University of Kent, Computing Laboratory, October 2005.

Abstract

Architectural description languages (ADLs) are used within the software engineering community to support the description of high-level structure, or architecture, of software systems. A major advantage of this is the ability to analyze and evaluate trade-off among alternative solutions. This chapter will discuss the role of ADLs for representing and analyzing the architecture of software systems. Since ADLs vary considerably on the modeling aspects that they cover, we will focus our discussions on how ADLs support structuring dependability issues.

Download publication 86 kbytes (PDF)

Bibtex Record

@techreport{2268,
author = {Cristina Gacek and Rog�rio de Lemos},
title = {Architectural Description of Dependable Software Systems},
month = {October},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2268},
    publication_type = {techreport},
    submission_id = {4477_1130765348},
    institution = {University of Kent, Computing Laboratory},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014