Title :
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
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;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location :
Limerick
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870489
