Analyzing Software Architectures with Argus-I

TitleAnalyzing Software Architectures with Argus-I
Publication TypeConference Paper
Year of Publication2000
AuthorsVieira, M. E. R., M. S. Dias, and D. J. Richardson
Conference NameInternational Conference on Software Engineering (ICSE 2000)
Date PublishedJune 4-11
Conference LocationLimerick, Ireland
Keywordsadl, 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

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.