See this document in CiteSeerX!

Improving System Dependability by Enforcing Architectural Intent (2005)  (Make Corrections)  
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, Tony Tseng



  Home/Search   Context   Related

 
View or download:
cmu.edu/~aldrich/papers/wads05.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  cmu.edu/~aldrich/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Developing dependable software systems requires enforcing conformance between architecture and implementation during software development and evolution. We address this problem with a multi-pronged approach: (a) automated refinement of a component-and-connector (C&C) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C&C view from an implementation, and (d) semi-automated incremental... (Update)

Active bibliography (related documents):   More   All
1.6:   Differencing and Merging of Architectural Views - Abi-Antoun, Aldrich, Nahas.. (2006)   (Correct)
0.6:   Mae - A System Model and Environment for Managing.. - Roshandel, van.. (2004)   (Correct)
0.5:   Cognitive Support in Software Engineering Tools: A.. - Andrew Walenstein (2002)   (Correct)

Similar documents based on text:
5.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ abi-antoun-improving,
  author = "Marwan Abi-Antoun and Jonathan Aldrich and David Garlan and Bradley Schmerl
    and Nagi Nahas and Tony Tseng",
  title = "Improving System Dependability by Enforcing Architectural Intent",
  url = "citeseer.ist.psu.edu/abi-antoun05improving.html" }
Citations (may not include all citations):
117   Software Reflexion Models: Bridging the Gap Between Design a.. - Murphy, Notkin et al. - 2001
114   A Classification and Comparison Framework for Software Archi.. - Medvidovic, Taylor - 2000
45   ArchJava: Connecting Software Architecture to Implementation - Aldrich, Chambers et al. - 2002
28   Fundamental Concepts of Dependability - Avizienis, Laprie et al. - 2001
26   Acme: Architectural Description of Component-Based Systems (context) - Garlan, Monroe et al. - 2000
14   the Criteria for Decomposing Systems into Modules (context) - Parnas - 1972
10   Capturing software architecture design expertise with Armani (context) - Monroe - 1998
10   Eclipse Platform Technical Overview (context) - International - 2003
10   Towards Architecture-Based Self-Healing Systems (context) - Dashofy, van der Hoek et al. - 2002
9   Approximate Tree Pattern Matching - Shasha, Zhang - 1997
8   Some MAX SNP-hard results concerning unordered labeled trees (context) - Zhang, Jiang - 1994
7   AcmeStudio: Supporting StyleCentered Architecture Developmen.. (context) - Schmerl, Garlan - 2004
5   Using Architectural Properties to Model and Measure Graceful.. - Shelton, Koopman - 2003
3   Inter-Module Renaming and Reorganizing: Examples of Program .. (context) - Ammann, Cameron - 1994
3   Polynomial-Time Metrics for Attributed Trees (context) - Torsello, Hidovic et al. - 2003
2   Experimenting different Software Architectures Performance T.. - Balsamo, Di Marco et al. - 2004
2   Hierarchical Reflexion Models (context) - Koschke, Simon - 2003
2   Understanding Tradeoffs among Different Architectural Modeli.. (context) - Roshandel, Schmerl et al. - 2004
2   Extending and Managing Software Reflexion Models - Murphy, Notkin et al. - 1997
2   Differences between Versions of UML Diagrams (context) - Ohst, Welle et al. - 2003
2   DiscoTect: A System for Discovering Architectures from Runni.. - Yan, Garlan et al. - 2004
1   Architectural Mismatch Tolerance (context) - de Lemos, Gacek et al. - 2003
1   Understanding Object-Oriented Architecture Evolution via Cha.. (context) - Xing, Stroulia - 2003
1   Documenting Component and Connector Views with UML (context) - Ivers, Clements et al. - 2004
1   Comparison of Architecture-Based Software Reliability Models (context) - Goseva-Popstojanova, Mathur et al. - 2001
1   Explicit Representation of Exception Handling in the Develop.. (context) - Ferreira, Rubira et al. - 2001
1   Elements of the self-healing system problem space - Koopman - 2003
1   Toward ArchitectureBased Reliability Estimation (context) - Roshandel, Medvidovic - 2004

Documents on the same site (http://www.cs.cmu.edu/~aldrich/papers/):   More
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006)   (Correct)
Static Analyses for Eliminating Unnecessary.. - Aldrich, Chambers.. (1999)   (Correct)
Open Modules: Modular Reasoning about Advice - Aldrich (2005)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC