Reliable Software Technologies Ada-Europe 2000 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

$3.74 & 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 Reliable Software Technologies Ada-Europe 2000 on your Kindle in under a minute.

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

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science) [Paperback]

Hubertus B. Keller (Editor), Erhard Pl�dereder (Editor)

Price:	$74.95 & 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 Monday, January 30? Choose One-Day Shipping at checkout. Details

Formats	Amazon Price		New from	Used from
Kindle Edition	$59.96		--	--
Paperback	$74.95		--	--

Book Description

Series: Lecture Notes in Computer Science | Publication Date: June 22, 2000

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

Product Details

Paperback: 317 pages
Publisher: Springer; 1 edition (June 22, 2000)
Language: English
ISBN-10: 3540676694
ISBN-13: 978-3540676690
Product Dimensions: 9.2 x 6.1 x 0.7 inches
Shipping Weight: 14.4 ounces (View shipping rates and policies)
Amazon Best Sellers Rank: #8,802,114 in Books (See Top 100 in Books)

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

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 Ravenscar Profile [4,6] is the best known result of the 8th International Real-Time Ada Workshop (IRTAW8). Read the first page

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, Sergey Rybin, International Conference, Reliable Software Technologies, Alfred Strohmeier, Interface Design Description, Poisson Truncated, Prentice Hall, Reengineering the Booch Component Library, Ada Analyzer, Improving the Reliability of Object-Oriented Software, New York, Peter Wieland, Software Integration Testing Automation, Java Native Interface, Johann Blieberger, Mahesh Deshpande, Report of Practical Experiences, Thierry Lacomme, Thomas Ringler, Ada Lint Necessary, Constructing Reliable Embedded Systems, Emmanuel Briot, International Real-Time Ada Workshop

New!
Books on Related Topics | Concordance | Text Stats

Citations (learn more)

This book cites 48 books:

Design Patterns by Erich Gamma on page 81, page 95, and page 279
Handbook of Software Reliability Engineering by Michael R. Lyu on page 195, and page 279
Sun Microsystems by Vault Reports on page 55, and page 95
Object-Oriented Software Construction (Book/CD-ROM) (2nd Edition) by Bertrand Meyer on page 28, and page 251
Computer Science by Richard Jones on page 172, and page 265

See all 48 books this book cites

Books on Related Topics (learn more)

Reliable Software Technologies - Ada-Europe 2001 by Dirk Craeynest

Discusses:

Tags Customers Associate with This Product

(What's this?)

Click on a tag to find related items, discussions, and people.

ada(1)

.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 Is Space Something? Is Time Something? Or are they Nothing? When Did Space First Begun? When Did Time First Begin?	204	1 minute ago
Science forum Amino acid biosynthesis	8	4 minutes ago
Science forum Global warming is nothing but a hoax and a scare tactic	7846	4 minutes ago
Science forum A Falsifiable Scientific Creationist theory?	9697	7 minutes ago
Science forum Building an Ark	250	49 minutes ago
Science forum Favorite Physical Law	22	1 hour ago
Science forum What is the difference between Lorentz Transformation and the Theory of Special Relativity?	119	1 hour ago
Science forum Why are people here so scientifically illiterate	6602	1 hour ago