Z, pronounced "zed", is a formal specification notation, a notation for formally, mathematically specifying, describing, computer-based systems. It is not a programming language, so it has no compiler as such, but many tools exist: type-checkers, animators for Z subsets, proof tools, more. Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Inspired by the work of Jean-Raymond Abrial, it has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL), and elsewhere, since the late 1970s. It is public domain, under ISO/IEC Z Standard 13568:2002, and Z symbols are part of Unicode character encoding.
  • Combination and Implementation of Processes and Data: from CSP-OZ to Java Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
  • Community Z Tools Initiative: CZT Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
  • 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.
  • 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.
  • 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.
  • 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.
  • Z from FOLDOC Entry with links to several related concepts to aid learning.
  • 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.

Inter CAFFE

31 korisnika prisutno: 0 registrovanih i 31 senkica. Ulogovani: Nema
Filigranska kapija od stihova - Dejan Milenković
16.08.2019 22:52, tragalac@Umetnost
Muzika, tekst - moja omiljena pesma
14.06.2019 08:02, Sammir@Umetnost
Potrosacko drustvo iz vizure jednog potrosaca
14.06.2019 08:00, Sammir@Posao
Vicevi - Mujo, Haso, Lala, Sosa, plavuse i ostali
14.06.2019 07:53, Sammir@Opušteno
Dobro došli - predstavite se
14.06.2019 07:51, Sammir@Opušteno
Poezija - najlepsi stihovi
16.04.2019 08:23, tragalac@Umetnost
Preporuke za citanje - preporucite knjigu, zanimljivo stivo
18.03.2019 10:58, solium@Umetnost
Miroslav Mika Antic - neki pesnik iz Mokrina
12.03.2019 23:11, Maxa@Umetnost

Vesti

Vučić s Majom Pavlović: Pomoći ćemo da se reši problem

Sudar kod Kraljeva: Povređeno petoro mladih, dve devojke u teškom stanju

Ne zna se sudbina četiri hiljade Srba nestalih u ratovima devedesetih

Država povećala vlasnički udeo u Aerodromu "Nikola Tesla"

Nacrtana akcija Partizana: "Bukvalno me je pogodio u čelo" VIDEO

Hodžaj: Taksama usloviti Beograd za povlačenje priznanja

Lajčak: Realnost Kosova je da nije priznato od pet članica EU; Srbija ne bi trebala da potpisuje ugovor sa Evroazijskom unijom

Naslovi.net, 30.8.2019 13:22

Virtuelne razglednice

za rodjendan, godišnjicu braka, srećnu slavu, ženidbu, udaju, položen vozački, prijem u radni odnos...