formal specification language used for describing and modelling computing systems
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.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).