Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

Comp.software-eng FAQ (Part 3): readings
Section - Formal Specification

( Part0 - Part1 - Part2 - Part3 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Business Photos and Profiles ]


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:

CAPTCHA




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