Style-based refinement for software architecture

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Style-based refinement for software architecture

Full text

Pdf (563 KB)

Source

Foundations of Software Engineering archive
Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops table of contents

San Francisco, California, United States

Pages: 72 - 75

Year of Publication: 1996

ISBN:0-89791-867-3

Author

David Garlan

School of Computer Science, Carnegie Mellon University, Pittsburgh, PA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 27, Citation Count: 9

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/243327.243607 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gregory D. Abowd , Robert Allen , David Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.319-364, Oct. 1995 [doi>10.1145/226241.226244]
	2	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	3	David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971]
	4	Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972]

CITED BY 9

	Nenad Medvidovic , Richard N. Taylor, A framework for classifying and comparing architecture description languages, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.60-76, Nov. 1997
	Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering, p.177-186, April 19-25, 1998, Kyoto, Japan
	Nenad Medvidovic , Peyman Oreizy , Richard N. Taylor, Reuse of off-the-shelf components in C2-style architectures, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.190-198, May 1997
	Nenad Medvidovic , Paul Grünbacher , Alexander Egyed , Barry W. Boehm, Bridging models across the software lifecycle, Journal of Systems and Software, v.68 n.3, p.199-215, 15 December 2003
	Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000
	Nenad Medvidovic , David S. Rosenblum, Domains of concern in software architectures and architecture description languages, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.16-16, October 15-17, 1997, Santa Barbara, California
	Junhua Ding , Lian Mo , Xudong He, An approach for specification construction using property-preserving refinement patterns, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Jie Zhou , Jim Alves-Foss, Security policy refinement and enforcement for the design of multi-level secure systems, Journal of Computer Security, v.16 n.2, p.107-131, April 2008
	Jie Zhou , Jim Alves-Foss, Architecture-based refinements for secure computer systems design, Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, October 30-November 01, 2006, Markham, Ontario, Canada