ZB 2005: Formal Specification and Development in Z and B
Subtitle: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Helen Treharne (Editor); Steve King (Editor); Martin Henson (Editor); Steve Schneider (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Paperback
Number of pages: 493
ISBN-13: 9783540255598
Subjects: Systems analysis & design; Logic; Computer Books: Languages; Computers; Computers - Languages / Programming; Logic Design; Programming - Software Development; B method; Computers / Programming / Software Development; UML; XML; Z notation; Z specification language; ZML; formal methods; B (Computer program language); B (Langage de programmation); Congresses; Congráes; Z (Computer program language)
First sentence: The B-method, originally devised by J.-R. Abrial [1], is a theory and methodology for formal development of computer systems.