Analyzing software architectures with Argus-I

Authors:
Marlon E. R. Vieira;Marcio S. Dias;Debra J. Richardson
Affiliations:
Information and Computer Science, University of California, Irvine, Irvine, CA;Information and Computer Science, University of California, Irvine, Irvine, CA;Information and Computer Science, University of California, Irvine, Irvine, CA
Venue:
Proceedings of the 22nd international conference on Software engineering
Year:
2000

Citing 4
Cited 11

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A language and environment for architecture-based software development and evolution

Proceedings of the 21st international conference on Software engineering
Analyzing software architectures with Argus-I

Proceedings of the 22nd international conference on Software engineering
Implementing Statecharts in PROMELA/SPIN

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Analyzing software architectures with Argus-I

Proceedings of the 22nd international conference on Software engineering
Software Architecture Analysis Based on Statechart Semantics

IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Enabling predictable assembly

Journal of Systems and Software - Special issue on: Component-based software engineering
Using Software Architecture for Code Testing

IEEE Transactions on Software Engineering
Towards software architecture-based regression testing

WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Towards supporting the architecture design process through evaluation of design alternatives

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Architectural Analysis Approaches: A Component-Based System Development Perspective

ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
The role of event description in architecting dependable systems

Architecting dependable systems
Specification: level integration of simulation and dependability analysis

Architecting dependable systems
An architecture analysis approach for supporting black-box software development

ECSA'11 Proceedings of the 5th European conference on Software architecture
Adaptable analysis of dependable system architectures through monitoring

Architecting Dependable Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

This formal research demonstration attempts to present an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications [1]. The approach is applied for the C2 style [2] and associated ADL and is supported within a quality-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels.