DocumentCode
3233648
Title
Specifying and reasoning about generic architecture in TCOZ
Author
Sun, Jing ; Dong, Jin Song
Author_Institution
Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
fYear
2002
fDate
2002
Firstpage
405
Lastpage
414
Abstract
Formal modeling techniques can be used to define and verify software architectures precisely. The paper applies the integrated formal specification technique, Timed Communicating Object Z (TCOZ), to generic software architecture modeling and verification.
Keywords
communicating sequential processes; formal specification; formal verification; software architecture; TCOZ; Timed Communicating Object Z; formal modeling techniques; formal verification; generic architecture; integrated formal specification technique; software architectures; Computer architecture; Computer science; Connectors; Formal specifications; Logic; Measurement standards; Software architecture; Software systems; Sun; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2002. Ninth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1850-8
Type
conf
DOI
10.1109/APSEC.2002.1183010
Filename
1183010
Link To Document