Spara
ANNA A Language for Annotating Ada Programs
Författare:
häftad, 1987
Engelska
ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs.
- Undertitel
- Reference Manual
- Upplaga
- 1987 ed.
- ISBN
- 9783540179801
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1987-07-15
- Sidor
- 148
