|
Top Document: Comp.software-eng FAQ (Part 3): readings Previous Document: Cost Estimation Next Document: Metrics See reader questions & answers on this topic! - Help others by sharing your knowledge Date: 6 Dec 1997 See also the comp.specification.z FAQ. 1. J.M.Spivey. "Understanding Z: a specification language and its formal semantics". Cambridge University Press, 1988. 2. David Lightfoot. "Formal Specification Using Z". MacMillan, 1991, ISBN 0-333-54408-0. A clear introduction to Z and the discrete mathematics that underlies it. 3. B.Potter, J.Sinclair & D.Till. "An introduction to formal specification and Z". Prentice Hall International Series in Computer Science, 1991. 4. D.Bjorner & C.B.Jones. "Formal Specification & Software Development", Prentice-Hall International Series in Computer Science, 1980. 5. N.Gehani & A.D.McGettrick (eds). "Software Specification Techniques", Addison-Wesley Publishing Company, 1986 6. I. van Horebeek & J.Lewi. "Algebraic Specifications in Software Engineering", Springer Verlag, 1989. 7. J.Bergstra, P.Klint & J.Heering. "Algebraic Specification", ACM Frontier Press Series. The ACM Press in co-operation with Addison-Wesley, 1989. 8. J.Wing. "A specifiers introduction to formal methods", IEEE Computer 23(9):8-24, 1990. 9. Prehn & Soetenel (eds). "Formal Software Development Methods, VDM'91", LNCS 551 and 552, Springer-Verlag. User Contributions:Comment about this article, ask questions, or add new information about this topic:Top Document: Comp.software-eng FAQ (Part 3): readings Previous Document: Cost Estimation Next Document: Metrics Part0 - Part1 - Part2 - Part3 - Single Page [ Usenet FAQs | Web FAQs | Documents | RFC Index ] Send corrections/additions to the FAQ Maintainer: dalamb@spamcop.net (David Alex Lamb)
Last Update March 27 2014 @ 02:12 PM
|

3SL, Suite 2, 22a Duke Street, Barrow in Furness, Cumbria, LA14 1HH
Please can you update this immediately.