The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2002)
Gold Coast, Australia
Dec. 4, 2002 to Dec. 6, 2002
ISSN: 1530-1362
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", 2013 20th Asia-Pacific Software Engineering Conference (APSEC), vol. 00, no. , pp. 405, 2002, doi:10.1109/APSEC.2002.1183010
99 ms
(Ver )