Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Ada for Software Engineers

Ada for Software Engineers

Ratings: (0)|Views: 12 |Likes:

More info:

Published by: Joshua Rocky Lizardi on Jun 19, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/02/2013

pdf

text

original

 
Ada for Software Engineers
M. Ben-Ari
Weizmann Institute of Science
 
Originally published by John Wiley & Sons, Chichester, 1998.Copyrightc
2005 by M. Ben-Ari.You may download, display and print
one
copy for your personal use in non-commercial academicresearch and teaching. Instructors in non-commerical academic institutions may make one copyfor each student in his/her class. All other rights reserved. In particular, posting this document onweb sites is prohibited without the express permission of the author.
 
Contents
Preface x1 The Language for a Complex World 1
1.1 Programming or software engineering? . . . . . . . . . . . . . . . . . . . . . . . 11.2 Reliable software engineering . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 Language in software engineering . . . . . . . . . . . . . . . . . . . . . . . . . 21.4 Ada for software engineering . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.5 The development of Ada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.6 From Ada 83 to Ada 95 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.7 The Ada Reference Manual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 A Simple Ada Program 8
2.1 Case study: country of origin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.2 Structure of a program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92.3 Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102.4 Predened exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102.5 Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.6 Subtypes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162.7 Lexical elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 Arrays 20
3.1 Case study: ll and justify text . . . . . . . . . . . . . . . . . . . . . . . . . . . 203.2 Array types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243.3 Constrained array subtypes and objects* . . . . . . . . . . . . . . . . . . . . . . 293.4 Type conversion* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303.5 Operations on one-dimensional arrays* . . . . . . . . . . . . . . . . . . . . . . 303.6 The context of array aggregates** . . . . . . . . . . . . . . . . . . . . . . . . . 31v

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->