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 :
بازگشت