Fundamentals of Dependable Computing for Software Engineers

Index

A

-Abrial, Jean-Raymond 203, 237

-accident 9, 10, 12, 18, 49, 56, 61, 78, 96, 97, 105, 366, 373

–acceptable rates of 49

–aircraft 29, 50

–automobile 29

–definition of 94

-Active Reviews 298

-Ada 264, 351

–accept statement 268

–and ArianeV 10

–and defect rates 206

–and exception handling 349

–and programmer-defined exceptions 270

–basic features 265

–concurrent programming 268

–exceptions 10

–information hiding 268

–interfacing with C 265

–interfacing with C++ 265

–motivation for 264

–package mechanism 268

–real-time programming 268

–rendezvous 268

–separate compilation 269

-Ada Quality & Style: Guidelines for Professional Programmers 270

-agile methods 204

-air traffic control 7, 21, 375

-ALARP. See As Low As is Reasonably Practicable