TCOZ Page
Edit Page
Report
Scan day: 07 February 2014 UTC
65
Virus safety - good
Description: Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.
Timed Communicating Object Z (TCOZ) is an integration of The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behaviour; as well as for structuring and decomposing systems in order to control complexity. Methods integration has become a recent research trend in software specification and design. In the graphical area, many object-oriented methods have merged into one, the Unified Modeling Language (UML). Although traditional formal methods have not scale-up well, integrated formal methods show great promise. Timed Communicating Object Z (TCOZ) is one of the recent integrations.
Size: 643 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The TCOZ Home Page |
| Keywords: | |
| Description: | |
| IP-address: | 137.132.80.57 |