Analyzing software architectures with Argus-I

Author

Vieira, Marlon E R ; Dias, Marcio S. ; Richardson, Debra J.

Author_Institution

Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

fYear

2000

fDate

2000

Firstpage

758

Lastpage

761

Abstract

This formal research demonstration presents an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications (Dias et al., 2000). The approach is applied for the C2 style (Medvidovic et al., 1999) and associated ADL and is supported within a quality-focused environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels

Keywords

formal specification; program testing; programming environments; software architecture; software quality; software reusability; ADL; Argus-I; C2 style; component behavioral specifications; component-based systems; formal specification; software architecture; software quality; software testing; statecharts; Analytical models; Citation analysis; Computer architecture; Computer science; Permission; Risk analysis; Software architecture; Software testing; Topology; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 2000. Proceedings of the 2000 International Conference on

Conference_Location

Limerick

ISSN

0270-5257

Print_ISBN

1-58113-206-9

Type

conf

DOI

10.1109/ICSE.2000.870489

Filename

870489