2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2002)
Gold Coast, 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", 2013 20th Asia-Pacific Software Engineering Conference (APSEC), vol. 00, no. , pp. 405, 2002, doi:10.1109/APSEC.2002.1183010