Software architecture analysis based on statechart semantics

10th International Workshop on Software Specification and Design, IWSSD 2000

Volumn , Issue , 2000, Pages 133-137

  Dias, Marcio S ^a   Vieira, Marlon E R ^a  

^a Ringgold Standard Institution Informatics   (United States)

Author keywords

Architecture based analysis; Architecture based testing; Software architecture; Software component; Statecharts

Indexed keywords

QUALITY CONTROL; SEMANTICS; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS;

ARCHITECTURE-BASED; BEHAVIORAL SPECIFICATION; COMPONENT BASED SYSTEMS; COMPONENT-BASED SOFTWARE DEVELOPMENT; SOFTWARE ARCHITECTURE ANALYSIS; SOFTWARE COMPONENT; SOFTWARE DEVELOPMENT PROCESS; STATECHARTS;

SOFTWARE DESIGN;

EID: 84874150452     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWSSD.2000.891134     Document Type: Conference Paper

References (8)

1. Garlan D, Monroe R., Wile D., Acme: An Architecture Description Interchange Language. In Proceeding of CASCON'97, November, 1997
2. Hard D., Pnueli A., Schmidt J.P., and Sherman R. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54-64, Ithaca, New York, June 1987.
3. Medvidovic N., Architecture-Based Specification-Time Software Evolution, PhD dissertation, Information and Computer Science, University of California, Irvine, 1999
4. Medvidovic, N, Rosenblum, D, Taylor, R., A Language and Environment for Architecture-Based Software Development and Evolution: Proceedings of 21st International Conference on Software Engineering, Los Angeles, CA, May 1999.
5. Perry D.E. and Wolf A.L. Foundations for the Study of Software Architecture. ACM Software Engineering Notes, 17(4):40-52, October 1992.
6. Robbins, J. Redmiles, D. Cognitive Support, UML Adherence, and XMI Interchange in Argo/UML, Information and Software Technology, to appear, 2000
7. Vieira M., Dias M., Richardson D., Analyzing Software Architectures with Argus-I, Formal Research Demonstrations in the 22nd International Conference in Software Engineering, Limerick, Ireland, 2000
8. Vieira M., Dias M., Richardson D., Object-Oriented Specification-Based Testing Using UML Statecharts, Workshop on Automated Program Analysis, Testing, and Verification in The 22nd International Conference in Software Engineering, Limerick, Ireland, 2000