Analyzing software architectures with Argus-I

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 758-761

  Vieira, Marlon E R ^a   Dias, Marcio S ^a   Richardson, Debra J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE BASED ANALYSIS; ARCHITECTURE BASED TESTING; SOFTWARE ARCHITECTURE; SOFTWARE COMPONENTS; SOFTWARE PACKAGE ARGUS-I; STATECHARTS;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAM DEBUGGING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033697632     PISSN: 02705257     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSE.2000.870489     Document Type: Article

References (6)

1. M.Dias, M.Vieira, D. Richardson, "Software Architecture Analysis based on Statechart Semantics", Submitted to The 4th International Soiilware Architecture Workshop (ISAW4), ICSE 2000.
2. st International Conference on Software Engineering, Los Angeles, CA, May 1999.
3. Robbins, J. Redmiles, D. Cognitive Support, UML Adherence, and XMI Interchange in Argo/UML, Information and Software Technology, to appear, 2000
4. Holzmann G.J. The Model Checker Spin. IEEE Trans.on Software Engineering, 23(5):279-295, May 1997.
5. Mikk E., Lakhnech Y., Siegel M., Holzmann G.J. Implementing Statecharts in Promela/Spin, In The Proceedings of Wift'98 Workshop, 1998
6. Vieira M., Dias M., Richardson D., Object-Oriented Specification-Based Testing Using UML Statechart, Submitted to The First International Workshop on Automated Program Analysis, Testing and Verification, ICSE 2000.