ISR
Analyzing Software Architectures with Argus-I
| Title | Analyzing Software Architectures with Argus-I |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Vieira, M. E. R., M. S. Dias, and D. J. Richardson |
| Conference Name | International Conference on Software Engineering (ICSE 2000) |
| Pagination | 758-761 |
| Date Published | June 4-11 |
| Conference Location | Limerick, Ireland |
| Keywords | adl, architectural analysis, Argus-I, C2 style, Component behavioral specifications, Component-based systems, formal specification, Program testing, programming environments, software architecture, Software quality, software reusability, Software testing, Statecharts |
| 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. |