Design Dependable ADA

  • Authors:
  • Gilles Motet;A. Marpinard;J. C. Geoffroy

  • Affiliations:
  • -;-;-

  • Venue:
  • Design Dependable ADA
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

From the Publisher:Ada is used in large industrial projects in which dependability is a prime requirement. This book looks at the capabilities of the Ada programming language in designing dependable software. It presents the theoretical principles of software dependability as well as practical implementation using Ada. The potential of the exception mechanisms are highlighted to arouse the readers interest in these little-known mechanisms for designing dependable software. The book also compares the Ada exceptions to those provided by other languages in order to explore their advantages and limitations.