An introduction to discrete mathematics, formal system specification, and Z
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction toboth the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniquesof requirement analysis and discrete mathematics that are needed. Throughout the book are numerous worked examples and exercises which include many real examples of software and computer systems.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Commercial software development
Customer requirements and specification
9 other sections not shown
Other editions - View all
archive array back order BackOrders BackOrdersCust BackOrdersNo bagarr blocks BookNo borrowed BorrowedBooks CatalogueBooks chemical reactor command is typed contain defined deleted describes the fact displayed elem elements empty set error event example existential quantification fbag file store FileName Filestore formal methods HasPriority injective function InStock integer Jones library assistant linear search malfunction mathematics modelled mon2 monitoring monl natural language natural numbers normal NormalUsers NoSyms notation NotHandedIn occurs open V closed operand operator pairs paragraph parameter partial function PARTNOS PerAc post-condition predicate calculus PrivateFiles program units properties propositional calculus propositional expressions PublicFiles quantifier query reactor registration number relation requirements analysis rules of inference schema which describes sequence shown signature software system staff statement of requirements subset SuppOfPart SymSeq system specification system users SystemUsers temperature transitive closure true true update USERNOS usname UsNo valve ValveOpen variable written