Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". These case studies serve to describe the most frequently used features of "Z", the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
1 of 1 people found the following review helpful:
1.0 out of 5 stars
As useless as his teaching,
This review is from: Introducing Specification Using Z: A Practical Case Study Approach (The Mcgraw-Hill International Series in Software Engineering) (Hardcover)
I am a student of Bryan Ratcliff's at University and I can say to anyone who even thinks of purchasing the book, don't! Ratcliff may be a lot of things, but he isn't a very good teacher.
If you do not like MY review, read this review by a professional book reviewer: http://www.marmaladesky.co.uk/~adrianlarner/review/ratcliff.htm
1.0 out of 5 stars
As worthless as his teaching skills,
By
This review is from: Introducing Specification Using Z: A Practical Case Study Approach (The Mcgraw-Hill International Series in Software Engineering) (Hardcover)
Guys, the previous reviewer talks sense. I am also from Aston University where B. Ratcliff.. aka Ratti aka The Rat tought us about this Z specification language. He's been trying to kick start and make a fortune from this Z language since 1994 and hasnt succeeded. He still teaches it in lecture!!!!
I have used this book and makes no sense to me at all. Half the book seems to be teaching you specific computer code, whereas he keeps stating that this is a design language and shouldnt be confused with code. Well it doesnt help when his examples in the book are all in code form!! Anyway, if you ever go to Aston and he tries to sell you the book.. well then thats upto you. You've read two reviews now, so its upto. Also, dont ever ask him for help! He will just use the same line over and over... "this is fundamental stuff, you should know this" ...he gets paid and arm and a leg.. FROM OUR POCKET and doesnt help. If you want the book theres a copy hung up at the Aston University computer science reception!
Share your thoughts with other customers: Create your own review
|
|
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
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
