Formal Foundations for Software Engineering Methods and over one million other books are available for Amazon Kindle. Learn more

Quantity:

Buy New


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

Buy Used

Used - Very Good See details

$6.48 & eligible for FREE Super Saver Shipping on orders over $25. Details

Fulfilled by Amazon

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Start reading Formal Foundations for Software Engineering Methods on your Kindle in under a minute.

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

Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science) [Paperback]

Heinrich Hu�mann (Author)

Price:	$64.95 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	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 Monday, January 30? Choose One-Day Shipping at checkout. Details

FREE Two-Day Shipping for Students. Learn more

Formats	Amazon Price		New from	Used from
Kindle Edition	$51.96		--	--
Paperback	$64.95		--	--

Book Description

Series: Lecture Notes in Computer Science | Publication Date: October 29, 1997

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Paperback: 296 pages
Publisher: Springer; 1 edition (October 29, 1997)
Language: English
ISBN-10: 3540636137
ISBN-13: 978-3540636137
Product Dimensions: 9 x 6.1 x 0.7 inches
Shipping Weight: 1 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #7,125,445 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 Heinrich Hussmann 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)

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.

.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; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Science forum Why are people here so scientifically illiterate	6605	3 minutes ago
Science forum best science headline ever?	21	11 minutes ago
Science forum Is Al Gore a crook?	0	14 minutes ago
Science forum A Falsifiable Scientific Creationist theory?	9706	15 minutes ago
Science forum Global warming is nothing but a hoax and a scare tactic	7854	17 minutes ago
Science forum Is Space Something? Is Time Something? Or are they Nothing? When Did Space First Begun? When Did Time First Begin?	209	33 minutes ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	17 hours ago
Textbook forum Never buy school textbooks. Download them to your reading device or computer	3	3 days ago