This extensively revised and updated new edition of "Specification
of Software Systems" builds upon the original focus on "software
specification" with added emphasis on the practice of formal
methods for "specification and verification activities" for
different types of software systems and at different stages of
developing software systems. Topics and features: provides a wide
coverage of formal specification techniques and a clear writing
style, supported by end-of-chapter bibliographic notes for further
reading; presents a logical structure, with sections devoted to
specification fundamentals, basics of formalism, logic, set theory
and relations, property-oriented specification methods, and
model-based specification techniques; contains end-of-chapter
exercises and numerous case studies, with potential course outlines
suggested in the Preface; covers Object-Z, B-Method, and Calculus
of Communicating Systems; offers material that can be taught with
tool-supported laboratory projects.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
