Notazione Z
(Reindirizzamento da Z (linguaggio))
La notazione Z è un linguaggio di specifica formale utilizzato per la descrizione e progettazione di sistemi informatici. Il suo nome deriva dalla teoria degli insiemi di Zermelo - Fraenkel.
Descritta per la prima volta nel 1974 da Jean-Raymond Abrial, la notazione Z è stata standardizzata dall'ISO nel 2002. È basata sulla notazione della teoria assiomatica degli insiemi, del lambda calcolo e della logica del primo ordine. Le espressioni sono tipate.
Voci correlate
Collegamenti esterni
- (EN) Z standard, su cs.york.ac.uk. URL consultato il 9 settembre 2013 (archiviato dall'url originale il 22 giugno 2012).
- (EN) CZT: Community Z Tools, su czt.sourceforge.net.
Controllo di autorità | LCCN (EN) sh87007136 · GND (DE) 4225739-6 · J9U (EN, HE) 987007536597605171 |
---|
🔥 Top keywords: Pagina principaleSpeciale:RicercaBridgertonMassimiliano AllegriAlbo d'oro della Coppa ItaliaPrey (film 2022)Robert FicoJuventus Football ClubCoppa ItaliaGabriele RubiniNuova CaledoniaTutto per mio figlioPaulo FonsecaCristiano GiuntoliChico FortiSlovacchiaSionismoCasino Royale (film 2006)Dušan VlahovićNicolás Jarry (tennista)Adagio (film)K-141 KurskYasukeRoberto BaggioRed (film 2010)Megalopolis (film)Julian AlaphilippeThiago MottaEpisodi di Viola come il mare (seconda stagione)Sfida senza regoleGian Piero GasperiniRaiGiucas CasellaDisastro del VajontDead Man Down - Il sapore della vendettaAnna KalinskajaFrancis Ford CoppolaViola come il mareFootball Club Internazionale Milano