ZB 2002: Formal Specification and Development in Z and B
Subtitle: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
Contributors: Didier Bert (Editor); Jonathan P. Bowen (Editor); Martin C. Henson (Editor); Ken Robinson (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 5, 2002
Language: eng
Format: Paperback
Number of pages: 535
ISBN-13: 9783540431664
Subjects: Mathematical logic; Programming languages; Software Engineering; Logic; Computers - General Information; Reference; Formal Language Theory; Computers; Computers - Languages / Programming; General; Programming - Software Development; B method; Computers / Programming / Software Development; Formal methods; UML; Z (Computer program language); Computer Science; B (Computer program language); Congresses
First sentence: A classic paper by Burstall and Goguen in 1977 [2] taught us to think about data types used in computer programs as logical theories, presented by axioms, whose properties can be explored by logical deduction.