Synopsis
This work looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed, explains relationships, with major published guidelines for development, of safety-related software, interprets guidelines specifically for Ada and presents material for three contemporary viewpoints - analyzer, synthesiser and checker.
"synopsis" may belong to another edition of this title.
Search results for Developing Safety Systems: Guide Using ADA
Seller Image
Developing Safety Systems: A Guide Using Ada
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0132042983.G
Stock Image
Developing Safety Systems: A Guide Using Ada
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-59415
Stock Image
Developing Safety Systems: A Guide Using Ada
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-98256
Stock Image
Developing Safety Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 240. Seller Inventory # 262615196
Stock Image
Developing Safety Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 240. Seller Inventory # 5265475
Buy Used
£ 33.95
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Developing Safety Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 240. Seller Inventory # 182615190