Ada for Software Engineers doc

[...]... development of both Ada 95 and Ada 2005 dealt with this danger by arranging for compiler developers and applications software engineers to study and test constructs before the standard was finalized For all versions of Ada, there is a document called the Rationale that presents the reasoning behind the design decisions that were taken The Rationale for Ada 95 is still relevant for Ada 2005 because it... version called Ada 83 For the benefit of readers familiar with Ada 83, we summarize the major differences between that language and Ada 95: • In Ada 83, derived types were of limited expressive power and not widely used In Ada 95, tagged derived types are the basis for type extension and dynamic polymorphism, which are the constructs required for object-oriented programming • Packages in Ada 83 could... ensures that errors such as dangling pointers are detected • Ada 95 extended support for hardware interfacing, as well as for programming in a mixedlanguage environment Data types are defined for machine words, as well as for objects shared with libraries and modules written in Fortran, Cobol and C • Libraries for character and string handling, and for mathematical functions are specified within the standard,... annexes for systems programming, real-time systems, distributed systems, information systems, numerics (scientific computation), and for systems with additional safety and security requirements The Ada Joint Project Office of the US Department of Defense was closed in 1998 and Ada no longer has any government connection The Ada Resource Association composed of commercial companies who develop tools for Ada. .. the performance of a real-time system written in Ada is predictable 1.6 The Ada Reference Manual The Ada 2005 programming language is defined by a document called Ada Reference Manual: International Standard ISO/IEC-8652:1995 with Technical Corrigendum 1 and Amendment 1: Language and Standard Libraries It is freely available online in several formats such as PDF and HTML, and is published in book form... occurred because of software faults 1.3 Programming languages for software engineering Software engineering is the term used to denote the ensemble of techniques for developing large software projects It includes managerial techniques such as cost estimation, documentation standards, configuration management and quality assurance procedures It also includes notations and methodologies for the analysis,... the support for object-oriented programming and the Special Needs Annexes 1.6 The Ada Reference Manual 7 Finally, the Annotated Ada Reference Manual is a version of the ARM containing additional material that justifies the rules and explains obscure points or implementation aspects This document is not normally needed by applications engineers Ada 95 The printed version of the ARM for Ada 95 is [6]... Corrigendum 1 (still Ada 95), 1.6 The Ada Reference Manual 9 while 2 means that the change is associated with Amendment 1 (Ada 2005) Since this information is primarily of historical interest, it has been omitted from the text The ARM for Ada 2005 is available in an edition that highlights the changes from previous editions This can be useful if you are familiar with the Ada 95 ARM and are learning Ada 2005 Most... into compile-time errors For critical software systems, logic errors are not merely embarrassing and expensive, they can be truly dangerous Because it helps prevent logic errors, the Ada type system is an excellent technological tool for constructing reliable software Effective use of the Ada type system requires an investment of effort on your part: • During the design of the software system, you must... called Ada 2005 and the updated standard was published in 2007 The changes from Ada 95 to Ada 2005 are much less extensive than those made in the transition from Ada 83 to Ada 95 The most significant changes are as follows: • Ada 2005 supports a 32-bit character set (Wide_Wide_Character and Wide_Wide_String), in addition to the 16-bit character set (Wide_Character and Wide_String) introduced in Ada 95 .