© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Dependable and secure storage in pervasive peer-to-peer systems
Rudi Ball, Vicki Spurrett, and Rogrio de Lemos
Technical report, University of Kent, Computing Laboratory, September 2006.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 161 kbytes (PDF)Bibtex Record
@techreport{2432, author = {Rudi Ball and Vicki Spurrett and Rogrio de Lemos}, title = {Dependable and Secure Storage in Pervasive Peer-to-Peer Systems }, month = {September}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2432}, publication_type = {techreport}, submission_id = {2225_1159197643}, institution = {University of Kent, Computing Laboratory}, }