Programming with Specifications
Subtitle: An Introduction to ANNA, A Language for Specifying Ada Programs
By: by David Luckham
Series: Texts and Monographs in Computer Science; Texts and monographs in computer science
Publisher: Springer US
Published: 1990
Place of publication: New York, NY
Language: eng
Format: [electronic resource] :
Number of pages: 416
ISBN-13: 9781461396871; 9781461396857
Subjects: Computer science; Artificial intelligence
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents: What ANNA Is; title: Simple Annotations; title: Using Simple Annotations; title: Exceptions; title: Package Specifications; title: The Process of Specifying Packages; title: Annotation of Generic Units; title: Annotation of Operations on Composite Types; title: Annotation of the Hidden Parts of Packages; title: Interpretation of Package Specifications; title: Processes for Consistent Implementation of Packages; title: Syntax; title: Tools; title: A Short Bibliography.