Architecture-driven modelling and analysis Export

@inproceedings{Garlan_and_Schmerl_2006, abstract = {Over the past 15 years there has been increasing recognition that careful attention to the design of a system's software architecture is critical to satisfying its requirements for quality attributes such as performance, security, and dependability. As a consequence, during this period the field of software architecture has matured significantly. However, current practices of software architecture rely on relatively informal methods, limiting the potential for fully exploiting architectural designs to gain insight and improve the quality of the resulting system. In this paper we draw from a variety of research results to illustrate how formal approaches to software architecture can lead to enhancements in software quality, including improved clarity of design, support for analysis, and assurance that implementations conform to their intended architecture.}, address = {Darlinghurst, Australia, Australia}, author = {Garlan, David and Schmerl, Bradley}, booktitle = {SCS '06: Proceedings of the eleventh Australian workshop on Safety critical systems and software}, citeulike-article-id = {2218021}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1274238}, isbn = {1-920-68250-3}, keywords = {2006, acme, adl, analysis, formal, software-architecture}, location = {Melbourne, Australia}, pages = {3--17}, posted-at = {2009-09-10 08:36:49}, priority = {0}, publisher = {Australian Computer Society, Inc.}, title = {Architecture-driven modelling and analysis}, url = {http://portal.acm.org/citation.cfm?id=1274238}, year = {2006} }

TY - CONF ID - Garlan_and_Schmerl_2006 L3 - citeulike-article-id:2218021 N2 - Over the past 15 years there has been increasing recognition that careful attention to the design of a system's software architecture is critical to satisfying its requirements for quality attributes such as performance, security, and dependability. As a consequence, during this period the field of software architecture has matured significantly. However, current practices of software architecture rely on relatively informal methods, limiting the potential for fully exploiting architectural designs to gain insight and improve the quality of the resulting system. In this paper we draw from a variety of research results to illustrate how formal approaches to software architecture can lead to enhancements in software quality, including improved clarity of design, support for analysis, and assurance that implementations conform to their intended architecture. CY - Melbourne, Australia SN - 1-920-68250-3 AD - Darlinghurst, Australia, Australia EP - 17 TI - Architecture-driven modelling and analysis PB - Australian Computer Society, Inc. T2 - SCS '06: Proceedings of the eleventh Australian workshop on Safety critical systems and software SP - 3 KW - 2006 KW - acme KW - adl KW - analysis KW - formal KW - software-architecture AU - Garlan, David AU - Schmerl, Bradley PY - 2006/// UR - http://portal.acm.org/citation.cfm?id=1274238 ER -