 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
 |
|
 |
Community Z Tools Initiative: CZT (Popularity: ): Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
Object-Z Page (Popularity: ): Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool ...
TCOZ Page (Popularity: ): Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems ...
Z Family on the Web with Their UML Photos (Popularity: ): Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of ...
ZB2002 (Popularity: ): The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th ...
RoZ (Popularity: ): Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation ...
A Comparison of Z and VDM with B/AMN (Popularity: ): Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, ...
MOBY (Popularity: ): Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, ...
Combination and Implementation of Processes and Data: from CSP-OZ to Java (Popularity: ): Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
The Way of Z: Practical Programming with Formal Methods (Popularity: ): By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University ...
|
 |
Popular Sites |
 |
TCOZ Page (Popularity: ): Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems ...
Community Z Tools Initiative: CZT (Popularity: ): Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
A Comparison of Z and VDM with B/AMN (Popularity: ): Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, ...
Object-Z Page (Popularity: ): Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool ...
ZB2002 (Popularity: ): The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th ...
|
 |
Related Press |
 |
MSI US Launches High-Performance Wind Top 21.5-inch Multi-Touch Screen All-in-One Desktop PC (Popularity: ): MSI, a leading manufacturer of computer components and systems, today announced the U.S. availability of the Wind Top AE2220 all-in-one ...
Ford Fusion Named 2010 MOTOR TREND Car of the Year (Popularity: ): The 2010 Ford Fusion is MOTOR TREND magazine's pick for its prestigious Car of the Year® award
* The Fusion ...
New Sony Ericsson Equinox(TM) Phone, Now Available at T-Mobile USA, Lights Up Your Life, Literally (Popularity: ): Sony Ericsson delivers a stylish, chic phone this fall with the introduction of the Sony Ericsson Equinox(TM) phone at T-Mobile ...
Attorney General Announces Formal Medical Marijuana Guidelines (Popularity: ): Attorney General Eric Holder today announced formal guidelines for federal prosecutors in states that have enacted laws authorizing the use ...
GSM and UMTS Acoustic Type approval tests Test platform for Acoustic and Audio tests (Popularity: ): Binyamina, Israel, Immediate Release – Hermon Laboratories TI, a world-leading expert in compliance testing in telecom, today announces TCA 4100 ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|