Analyzing software architectures with Argus-I

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Analyzing software architectures with Argus-I

Full text

Pdf (1.92 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 22nd international conference on Software engineering table of contents

Limerick, Ireland

Pages: 758 - 761

Year of Publication: 2000

ISBN:1-58113-206-9

Authors

Marlon E. R. Vieira	Information and Computer Science, University of California, Irvine, Irvine, CA
Marcio S. Dias	Information and Computer Science, University of California, Irvine, Irvine, CA
Debra J. Richardson	Information and Computer Science, University of California, Irvine, Irvine, CA

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
Irish Comp Soc : Irish Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 42, Citation Count: 6

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	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/337180.337624 What is a DOI?

ABSTRACT

This formal research demonstration attempts to present an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications [1]. The approach is applied for the C2 style [2] and associated ADL and is supported within a quality-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels.

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	Marlon E. R. Vieira , Marcio S. Dias , Debra J. Richardson, Analyzing software architectures with Argus-I, Proceedings of the 22nd international conference on Software engineering, p.758-761, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337624]
	2	Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302410]
	3	Robbins, J. Redmiles, D. Cognitive Support, UML Adherence, and XMI Interchange in Argo/UML, Information and Software Technology, to appear, 2000
	4	Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521]
	5	Erich Mikk , Yassine Lakhnech , Michael Siegel , Gerard J. Holzmann, Implementing Statecharts in PROMELA/SPIN, Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, p.90, October 20-23, 1998
	6	Vieira M., Dias M., Richardson D., Object-Oriented Specification-Based Testing Using UML Statechart, Submitted to The First International Workshop on Automated Program Analysis, Testing and Verification, ICSE 2000.

CITED BY 6

	Marlon E. R. Vieira , Marcio S. Dias , Debra J. Richardson, Analyzing software architectures with Argus-I, Proceedings of the 22nd international conference on Software engineering, p.758-761, June 04-11, 2000, Limerick, Ireland
	Scott Hissam , Gabriel Moreno , Judith Stafford , Kurt Wallnau, Enabling predictable assembly, Journal of Systems and Software, v.65 n.3, p.185-198, 15 March 2003
	Henry Muccini , Marcio S. Dias , Debra J. Richardson, Towards software architecture-based regression testing, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Henry Muccini , Antonia Bertolino , Paola Inverardi, Using Software Architecture for Code Testing, IEEE Transactions on Software Engineering, v.30 n.3, p.160-171, March 2004
	Lihua Xu , Scott A. Hendrickson , Eric Hettwer , Hadar Ziv , André van der Hoek , Debra J. Richardson, Towards supporting the architecture design process through evaluation of design alternatives, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.81-87, July 17-20, 2006, Portland, Maine
	Marcio S. Dias , Marlon E. R. Vieira, Software Architecture Analysis Based on Statechart Semantics, Proceedings of the 10th International Workshop on Software Specification and Design, p.133, November 05-07, 2000