2002 Forum Home

Program

Registration

Accommodations

Directions

For Posters and Demonstrators

For External Advisory Committee (EAC)

ISR Home

Poster: Argus-I: Architectural Analysis

Student: Marcio Dias

Advisor: Debra J. Richardson

Abstract: High assurance architecture-based and component-based software development relies fundamentally on the quality of the components of which a system is composed and their configuration. Analysis over those components and their integration as a system plays a key role in the software development process. This work presents an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications. The approach is applied for the C2 style and associated ADL and is supported within a quality-focused environment, called Argus-I, which assist specification-based analysis and testing at both the component and architecture levels.

Home | About ISR | News | Research | Events | People | Sponsors | Sponsorship | Email List | Directions | Contact Info | Other Links | Site Map