|
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
|
Comp.software-eng FAQ (Part 3): readings
Section - Formal Specification
Search the FAQ Archives
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
Comp.software-eng FAQ (Part 3): readings
Section - Formal Specification
( Part0 - Part1 - Part2 - Part3 - Single Page
)
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Houses ]
3SL, Suite 2, 22a Duke Street, Barrow in Furness, Cumbria, LA14 1HH
Please can you update this immediately.
Village Talkies a top-quality professional corporate video production company in Bangalore and also best explainer video company in Bangalore & animation video makers in Bangalore, Chennai, India & Maryland, Baltimore, USA provides Corporate & Brand films, Promotional, Marketing videos & Training videos, Product demo videos, Employee videos, Product video explainers, eLearning videos, 2d Animation, 3d Animation, Motion Graphics, Whiteboard Explainer videos Client Testimonial Videos, Video Presentation and more for all start-ups, industries, and corporate companies. From scripting to corporate video production services, explainer & 3d, 2d animation video production , our solutions are customized to your budget, timeline, and to meet the company goals and objectives. As a best video production company in Bangalore, we produce quality and creative videos to our clients.
https://vulkancasino-o6u2.ru
New Slots
https://joycasino-sfe5.ru