Programming Books C Java PHP Python Learn more Browse Programming Books

Select your rental length

Starts: Today
Ends:

Rent From: $15.36

Deliver to your Kindle or other device

Enter a promotion code
or gift card
 
 
 

Try it free

Sample the beginning of this book for free

Deliver to your Kindle or other device

Anybody can read Kindle books—even without a Kindle device—with the FREE Kindle app for smartphones, tablets and computers.
Sorry, this item is not available in
Image not available for
Color:
Image not available

To view this video download Flash Player

 

Software Engineering Mathematics: Formal Methods Demystified (Sei Series in Software Engineering) [Kindle Edition]

Jim Woodcock , Martin Loomes
2.0 out of 5 stars  See all reviews (1 customer review)

Rent From: $15.36 or Buy Price: $64.95

  • Print ISBN-10: 0201504243
  • Print ISBN-13: 978-0201504248

Formats

Amazon Price New from Used from
 
Kindle Edition
Rent from
$64.95
$15.36
 
Hardcover --  
Paperback --  
Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Book Description

This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.

Product Details

  • File Size: 14931 KB
  • Print Length: 271 pages
  • Sold by: Amazon Digital Services, Inc.
  • Language: English
  • ASIN: B000UYWKYA
  • Text-to-Speech: Enabled
  • X-Ray:
  • Lending: Not Enabled
  • Amazon Best Sellers Rank: #1,289,665 Paid in Kindle Store (See Top 100 Paid in Kindle Store)
  •  Would you like to give feedback on images?


Customer Reviews

2.0 out of 5 stars
(1)
2.0 out of 5 stars
5 star
0
4 star
0
3 star
0
1 star
0
Share your thoughts with other customers
Most Helpful Customer Reviews
2 of 4 people found the following review helpful
2.0 out of 5 stars Kindle edition badly formatted March 2, 2010
By James
Format:Kindle Edition|Verified Purchase
The Kindle Edition is badly formatted, with missing symbols (replaced by 'iconid="xx"'), ASCII replacements for logic symbols (V and /\ for OR and AND, which looks really bad in a serif font') and formulae which look like scanned images from the book (sometimes the wrong images).
Comment | 
Was this review helpful to you?
Search Customer Reviews
Search these reviews only

More About the Author

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


Forums

There are no discussions about this product yet.
Be the first to discuss this product with the community.
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Look for Similar Items by Category