YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Programming Programming Languages Languages Z Z
 

Books [8]
 


Related Categories:
   Yurtseven.ORG » Organizations  [138]
   Yurtseven.ORG » Artificial Intelligence » Fuzzy  [43]
   Yurtseven.ORG » Artificial Intelligence » Neural Networks » Organizations  [6]
   Yurtseven.ORG » Artificial Life » Ant Colony Optimization  [3]
   
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 10  of total  11  results  [ 0.222  seconds ]  


 
   
  07-January-2012 
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.



 
 2 - Object-Z Page Browse Website open in new window
   
  07-January-2012 
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.



 
   
  07-January-2012 
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.



 
 4 - TCOZ Page Browse Website open in new window
   
  07-January-2012 
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.



 
   
  07-January-2012 
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.



 
   
  07-January-2012 
Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.



 
   
  07-January-2012 
Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of Singapore. January, 2001; as postcript, and pdf files.



 
   
  07-January-2012 
Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links.



 
   
  07-January-2012 
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.



 
   
  07-January-2012 
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.


1  2  Next »


Easy Web Admin


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us