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
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
424 ms
(Ver 3.1 (10032016))