Murakami Sale
 
 

Recently Viewed clear list


Q&A | August 19, 2014

Richard Kadrey: IMG Powell’s Q&A: Richard Kadrey



Describe your latest book. The Getaway God is the sixth book in the Sandman Slim series. In it, the very unholy nephilim, James Stark, aka Sandman... Continue »
  1. $17.49 Sale Hardcover add to wish list

spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings

by

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.

Synopsis:

Content Description #Includes bibliographical references and index.

Table of Contents

Programming the Internet in Ada 95 / S. Tucker Taft — Reliability Modeling for Safety Critical Software / Norman F. Schneidewind — Fault-Tolerance by Replication in Distributed Systems / Rachid Guerraoui and Andre Schiper — Ada 95: An Effective Concurrent Programming Language / Alan Burns and Andy J. Wellings — Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries / Juan Antonio de la Puente, Alejandro Alonso and Angel Alvarez — An Approach to Increasing Software Component Reusability in Ada / Hyoseob Kim and Cornelia Boldyreff — Iterative Software Development for Large Ada Programs / Philippe Kruchten and Christopher J. Thompson — HCSD Unit Development Process: Step-Wise Process Improvement / David Emery and Jaswinder S. Madhur — Testing Ada 95 Programs for Conformance to Rapide Architectures / Neel Madhav — Tasking Deadlocks in Ada 95 Programs and Their Detection / Jingde Cheng and Kazuo Ushijima.

Product Details

ISBN:
3330000238671
Subtitle:
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996: Proceedings
Publisher:
Springer
Author:
Strohmeier, Alfred
Subject:
Computer software -- Reliability -- Congresses.
Subject:
Ada
Subject:
Computer software
Subject:
Ada (computer program language)
Subject:
Programming Languages - General
Subject:
Programming - Software Development
Subject:
Networking - General
Subject:
Software Development & Engineering - General
Subject:
Software Development & Engineering - Systems
Subject:
Software Engineering - Programming and Languages
Subject:
Ada 95
Subject:
Distributed systems
Subject:
Programmiersprachen
Subject:
Programming Languages.
Subject:
Reliable Software
Subject:
software technology
Subject:
Software Technologie
Subject:
Verteilte Systeme
Subject:
Zuverlässige Software
Subject:
Software engineering
Subject:
Programming techniques
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Operating systems
Subject:
Computer Communication Networks
Subject:
Special Purpose and Application-Based Systems
Subject:
main_subject
Subject:
all_subjects
Edition Description:
Content Description
Publication Date:
1996
Binding:
ELECTRONIC
Language:
English
Pages:
511

Related Subjects

Computers and Internet » Computer Languages » Ada
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Quality Assurance and Testing
Computers and Internet » Software Engineering » Systems Analysis and Design

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
0 stars - 0 reviews
$ In Stock
Product details 511 pages Springer - English 3330000238671 Reviews:
"Synopsis" by , Content Description #Includes bibliographical references and index.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.