Items related to Formal Specification and Design (Cambridge Tracts in...
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Softcover
Synopsis
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.
"synopsis" may belong to another edition of this title.
Book Description
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design. Software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.
Review
..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in the COLD-K notation." H.I. Kilov, Computing Reviews
"About this title" may belong to another edition of this title.
Search results for Formal Specification and Design (Cambridge Tracts in...
Stock Image
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Used
Softcover
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Seller rating 4 out of 5 stars
Condition: Very Good. Seller Inventory # 120537
Quantity: 1 available
Stock Image
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190002804
Quantity: Over 20 available
Stock Image
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Softcover
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780521435925
Quantity: 2 available
Stock Image
Formal Specification and Design (Paperback)
Published by
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Paperback
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521435925
Quantity: 1 available
Stock Image
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521435925_new
Quantity: Over 20 available
Stock Image
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521435925
Quantity: 10 available
Stock Image
Formal Specification and Design
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 590. Seller Inventory # C9780521435925
Quantity: Over 20 available
Stock Image
Formal Specification and Design
Published by
Cambridge University Press CUP, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 352. Seller Inventory # 26437324
Quantity: 4 available
Stock Image
Formal Specification and Design
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 351 pages. 9.25x6.50x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521435927
Quantity: 1 available
Stock Image
Formal Specification and Design
Published by
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 352 Illus. Seller Inventory # 7410579
Quantity: 4 available