Software Specification Methods
Subtitle: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
Contributors: Marc Frappier (Editor); Henri Habrias (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 27, 2000
Language: eng
Format: Paperback
Number of pages: 282
ISBN-13: 9781852333539
Subjects: Computer Software Packages; Programming languages; Software Engineering; Formal methods (Computer science); Computers; Computers - Languages / Programming; Computer Books: General; Specifications; Programming - Software Development; Mathematics / Logic; Computer software; Formal methods (Computer scien
First sentence: Z (pronounced 'zed') is a formal specification notation [9] based on set theory and first order predicate logic.