Searchpixie.com: Unknown Tag: 'title_linked1'

SearchPixie - High Traffic Pay per Click Search Engine

bookmark

Home: Computers: Programming: Languages: Z

CATEGORIES:

Books (8)

Featured Listing:

LINKS:

A Comparison of Z and VDM with B/AMN
Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
http://www.b-core.com/ZVdmB.html
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Combination and Implementation of Processes and Data: from CSP-OZ to Java
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
http://csd.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Community Z Tools Initiative: CZT
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
http://www.comlab.ox.ac.uk/people/andrew.martin/CZT/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

MOBY
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, allows structured development via hierarchy concepts, handles many text formats.
http://theoretica.informatik.uni-oldenburg.de/~moby/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Object-Z Page
Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference.
http://www.itee.uq.edu.au/~smith/objectz.html
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Standard for Z Notation
International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.
http://www.comlab.ox.ac.uk/people/andrew.martin/zstandards/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

TCOZ Page
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.
http://www.comp.nus.edu.sg/~dongjs/tcoz.html
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Z from FOLDOC
Entry with links to several related concepts to aid learning.
http://foldoc.org/foldoc.cgi?Z
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

ZB2002
The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop.
http://www-lsr.imag.fr/zb2002/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

• HOME • ADD A LINK •

Copyright �20011 SearchPixie.com Pay Per Click Search Engine. All Rights Reserved

Adult Video Section| A Funny Site| Big Upload| TrafficGiveAway| SearchPixie| 100000freecliparts| picZs| MyfunPortal| Top20Cool| HotterBabes| 12Freebie| Clipaholic| FreebieJungle| MyOwnStartpage| WallpaperSpecials| Online Games| Sexy.VoteMonster| SiteBuilder-FX| VoteMonster| filehostingreview| Wonderful Faces| Sex Videos| Automatic Backlinks