Recent Trends in Data Type Specification
Subtitle: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee (Lecture Notes in Computer Science)
Contributors: Hartmut Ehrig (Editor); Klaus P. Jantke (Editor); Fernando Orejas (Editor)
Publisher: Springer
Published: October 1991
Language: eng
Format: Paperback
Number of pages: 379
ISBN-13: 9783540544968
Subjects: Object-oriented programming (OOP); Software engineering; Data Modeling & Design; Computers - Data Base Management; Programming Languages - General; Programming - Software Development; Congresses
First sentence: Automatic implementation of Abstract Data Types (ADT) is of interest because of at least two reasons - first, to get an executable prototype and, second, to verify the correctness and completeness of the ADT definition.