<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Z Formal Specification Language

Name: Z Formal Specification Language
Creator: Gerard O’Regan

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 16 Nov 2012 English Publisher:Springer London

Authors: Gerard O’Regan;

doi: 10.1007/978-1-4471-4534-9_6 , 10.1007/978-3-319-57750-0_13 , 10.1007/978-3-319-64021-1_8 , 10.1007/978-3-030-34209-8_22 , 10.1007/978-3-030-81588-2_21 , 10.1007/978-3-319-44561-8_19 , 10.1007/978-3-319-06106-1_18 , 10.1007/978-3-031-26212-8_17

Z Formal Specification Language

- Summary
- Metrics

Abstract

This chapter presents the Z specification language, which is one of the most widely used formal methods. Z is a formal specification language based on Zermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic. The use of mathematics ensures precision and allows inconsistencies and gaps in the specification to be identified. Theorem provers may be employed to demonstrate that the software implementation meets its specification.

Related Organizations

University of Central Asia
Kyrgyzstan

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	11
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Top 10%

Average

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!