5665192018

da: Teaching How To Use The

•    Language

•    Dont teach how to use Ada for programming

•    Teadi how to program m Ada

W

•    Stress

•    Information hiding

•    Spccifying before implcincnting (and checkwg thc specs)

•    Paying attcnłka to the choree of data itnretures

•    Forma I 'proofs*

•    Tell to use the compiler often to check the codę

•    Compilc evcry lOluies

•    Tho.oompikł ixyour trrend !

•    Sc.»i moc mou{o

•    Sn "linik łinT to moi atv.*gn

•    Dno'1 iri lo laimt mor mv-uo uodcrKmd to* lo vour <

•U.i-1. :u» . V™.

' ■