This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth Asia-Pacific Software Engineering Conference (APSEC'02)
Specifying and Reasoning about Generic Architecture in TCOZ
Gold Coast, Australia
December 04-December 06
ISBN: 0-7695-1850-8
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.
Index Terms:
integrated formal specification and verification
Citation:
Jing Sun, Jin Song Dong, "Specifying and Reasoning about Generic Architecture in TCOZ," apsec, pp.405, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.