© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Architectural description of dependable software systems
Cristina Gacek and Rogrio 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 Rogrio 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}, }