Z notation: A roadmap, “This paper has been withdrawn”

  • Authors

    • Monika Singh Mody Institute of Technology and Science (MITS)
    • A .K. Sharma
    https://doi.org/10.14419/ijet.v3i1.1598

    Received date: December 4, 2013

    Accepted date: January 2, 2014

    Published date: February 14, 2014

  • Abstract

    Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence of undesirable system behaviour. There are a number of formal specification languages for implementing Formal methods. This paper focus on Z-notation, a formal specification language and its semantics.

  • References

    1. E.M. Clarke and J. Wing, “Formal Methods: State of the Art and Future Directions”, ACM Computing Surveys, 1996.
    2. S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo and D. Hamilton “Experiences Using Lightweight Formal Methods for Requirements Modeling,” IEEE Transactions on Software Engineering , Vol. 24, No. 1, January, 1998
    3. J. M. Spivey, “Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science”, Cambridge University Press, January 1988.
    4. S. Austin and G. I. Parkin, “Formal methods: A survey. Technical report”, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW11 0LW, UK, March 1993.
    5. M. Benveniste: Writing operational semantics in Z: A structural approach. In Prehn and Toetenel [338], pages 164–188.
    6. S. M. Brien, “The development of Z”. In D. J. Andrews, J. F. Groote, and C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Workshops in Computing, pages 1–14. Springer-Verlag, 1994
    7. S. M. Brien and J. E. Nicholls, “ Z base standard”, Technical Monograph PRG-107, Oxford University Computing Laboratory, Wolfson Building, Parks Road Oxford, UK, November 1992. Accepted for standardization under ISO/IEC JTC1/SC22.
    8. M. Imperato, “An Introduction to Z”, Chartwell-Bratt, 1991.
    9. D. Lightfoot, “Formal Specification using Z”, Macmillan, 1991.
    10. J. M. Spivey, “Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science”, Cambridge University Press, January 1988.
    11. J. M. Spivey, “An introduction to Z and formal specifications. IEE/BCS Software Engineering Journal, 4(1):40–50”, January 1989.
    12. J. M. Spivey, “The Z Notation: a Reference Manual”, Prentice Hall International Series in Computer Science, 2nd edition, 1992.
    13. www.cfdvs.iitb.ac.in/download/Docs/net/www.comlab.ox.ac.../z.html

  • Downloads

  • How to Cite

    Singh, M., & Sharma, A. .K. (2014). Z notation: A roadmap, “This paper has been withdrawn”. International Journal of Engineering and Technology, 3(1), 63-69. https://doi.org/10.14419/ijet.v3i1.1598