Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) [Paperback]

L. M. G. Feijs (Author), H. B. M. Jonkers (Author)

Price:	$74.00 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Thursday, February 2? Choose One-Day Shipping at checkout. Details

Formats	Amazon Price		New from	Used from
Hardcover	--		--	--
Paperback	$74.00		--	--

Book Description

Series: Cambridge Tracts in Theoretical Computer Science | Publication Date: November 14, 2005

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Editorial Reviews

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

Book Description

Product Details

Paperback: 352 pages
Publisher: Cambridge University Press; 1 edition (November 14, 2005)
Language: English
ISBN-10: 0521435927
ISBN-13: 978-0521435925
Product Dimensions: 9.5 x 6.7 x 0.6 inches
Shipping Weight: 1.2 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #4,197,260 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

More About the Author

› Visit Amazon's L. M. G. Feijs Page

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Inside This Book (learn more)

First Sentence:
The conception, construction, maintenance and usage of computer-based systems are difficult tasks requiring special care, skills, methods and tools. Read the first page

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
glass box correct, origin consistency requirement, flat algebraic specification, inductive predicate definition, black box correctness, forgetful mapping, least predicate satisfying, flat scheme, invariance axiom, initial algebra approach, traffic light example, algorithmic definition, applied occurrence, modular schemes, algebraic specifications, hidden sorts, class signature, programming variables, first order axioms, modification rights, equational axioms

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Set Set, Nat Fig

Citations (learn more)

35 books cite this book:

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) by V. Stoltenberg-Hansen in Front Matter
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science) by S. Mauw in Front Matter
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) by J. Roger Hindley in Front Matter
The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science) by J. B. Paris in Front Matter
A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science) by J.W.de Bakker on page 78

See all 35 books citing this book

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }