|
| 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
| ASCII Text | x | ||
| Jing Sun, Jin Song Dong, "Specifying and Reasoning about Generic Architecture in TCOZ," Asia-Pacific Software Engineering Conference, pp. 405, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002. | |||
| BibTex | x | ||
| @article{ 10.1109/APSEC.2002.1183010, author = {Jing Sun and Jin Song Dong}, title = {Specifying and Reasoning about Generic Architecture in TCOZ}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2002}, issn = {1530-1362}, pages = {405}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1183010}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Specifying and Reasoning about Generic Architecture in TCOZ SN - 1530-1362 SP EP A1 - Jing Sun, A1 - Jin Song Dong, PY - 2002 KW - integrated formal specification and verification VL - 0 JA - Asia-Pacific Software Engineering Conference ER - | |||
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.