Gold Coast, Queensland, Australia
Dec. 4, 2002 to Dec. 6, 2002
Jing Sun , National University of Singapore
Jin Song Dong , National University of Singapore
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.
integrated formal specification and verification
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