An Animation Tool for Supporting Specification-Based Software Architectures

TitleAn Animation Tool for Supporting Specification-Based Software Architectures
Publication TypeConference Paper
Year of Publication1995
AuthorsCzarnecki, K., D. Zhang, and K. Lano
Conference NameThe 1995 Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Specification-Based Architectures
Date Published09/1995
PublisherU.S. Naval Postgraduate School
Conference LocationMonterey, California, USA
Refereed DesignationRefereed