The specification logic νZ-Reference-Cited by-同舟云学术

The specification logic νZ

Published:2006-09 Issue:3 Volume:18 Page:364-395
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Henson Martin C.¹,Deutsch Moshe¹,Kajtazi Besnik¹

Affiliation:

1. Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, Essex, UK

Abstract

Abstract This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-006-0007-2.pdf

Reference22 articles.

1. Abrial JR (1996)Extending B without changing it (for developing distributed systems). In: Habrias H

2. (ed) Proceedings of the 1st conference on the B method Nantes 24-26 November 1996 pp 169-190. Institut de Recherche en Informatique de Nantes (IRIN)

3. Bowen JP Dunne S Galloway A King S (eds) (2000) ZB 2000: formal specification and development in Z and B 1st international conference of B and Z users York 29 August–2 September 2000 Proceedings vol 1878 of Lecture Notes in Computer Science . Springer Berlin Heidelberg Newyork

4. Back RJR Kurki-Suonio R (1983) Decentralization of process nets with centralized control. In: Proceedings of the 2nd annual ACM symposium on principles of distributed computing Montreal August pp 131–142. ACM Press

5. Back RJR Sere K (1990) Deriving an occam implementation of action systems. Technical report A-99 . Department of Computer Science bo Akademi University Turku

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Introduction to Z;Refinement in Z and Object-Z;2014

2. Applications and Methodology of νZ;Formal Methods: State of the Art and New Directions;2009-11-14

3. Z Logic and Its Applications;Logics of Specification Languages;2007-12-05