ZB 2003: Formal Specification and Development in Z and B
Subtitle: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science)
Contributors: Didier Bert (Editor); Jonathan P. Bowen (Editor); Steve King (Editor); Marina Waldén (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2003
Language: eng
Format: Paperback
Number of pages: 547
ISBN-13: 9783540402534
Subjects: Software engineering; Systems analysis & design; Programming Languages - General; Computers; B (Computer program language); Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Logic Design; Congresses; B method; Computers / Programming / Software Development; UML; XML; Z notation; ZML; formal methods; formal specification; Z (Computer program language); General
First sentence: The pattern catalogue uses meaningful pattern names to guide users to appropriate patterns.