Editing Z notation (section)

{{Short description|Formal specification language used for describing and modelling computing systems}}
{{Use dmy dates|date=July 2019}}
[[File:Agendacumple en Z.svg|thumb|350px|An example of a [[formal specification]] (in Spanish) using the Z notation, with named schema boxes, including declarations and predicates]]

The '''Z notation''' {{IPAc-en|ˈ|z|ɛ|d}} is a [[Formal specification|formal]] [[specification language]] used for describing and modelling computing systems.<ref>{{cite book| last=Bowen | first=Jonathan P. | chapter=The Z Notation: Whence the Cause and Whither the Course? | authorlink=Jonathan Bowen | title=Engineering Trustworthy Software Systems | pages=103–151 | publisher=[[Springer Science+Business Media|Springer]] | series=[[Lecture Notes in Computer Science]] | volume=9506 | date=2016 | doi=10.1007/978-3-319-29628-9_3| isbn=978-3-319-29627-2 | chapter-url=http://researchopen.lsbu.ac.uk/395/1/setss2014.pdf }}</ref> It is targeted at the clear specification of [[computer program]]s and computer-based systems in general.