Subscribe
Gold Coast, Queensland, Australia
Dec. 4, 2002 to Dec. 6, 2002
ISBN: 0-7695-1850-8
pp: 405
Jing Sun , National University of Singapore
Jin Song Dong , National University of Singapore
ABSTRACT
Formal modeling techniques can be used to define and verify software architectures precisely. This paper applies the recently developed integrated formal specification technique, Timed Communicating Object Z (TCOZ), to the generic software architecture modeling and verification.
INDEX TERMS
integrated formal specification and verification
CITATION
Jing Sun, Jin Song Dong, "Specifying and Reasoning about Generic Architecture in TCOZ", APSEC, 2002, Proceedings Asia-Pacific Software Engineering Conference, Proceedings Asia-Pacific Software Engineering Conference 2002, pp. 405, doi:10.1109/APSEC.2002.1183010