Title :
Algebraic data type specifications-language, method and tools
Author :
Duponcheel, L. ; Heyman, Juergen ; Van Puymbroeck, Willy
Author_Institution :
Bell Telephone Manuf. Co., Antwerpen, Belgium
Abstract :
A description is given of the concepts of an algebraic specification language allowing the development of structured, clear, and reusable specifications, and its support environment is introduced. Initial experience using the presented language, method, and tools in the development of a specification of the Knuth-Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular, a translator for constructive specifications is illustrated. The use of components of a prototype proof environment is indicated
Keywords :
data structures; specification languages; Knuth-Bendix algorithm; algebraic data type specifications; algebraic specification language; constructive specifications; method; prototype proof environment; prototyping; support environment; tools; translator; Algebra; Computer errors; Data structures; Feedback; Mathematics; Prototypes; Software engineering; Software prototyping; Specification languages; Telephony;
Conference_Titel :
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location :
Brussels
Print_ISBN :
0-8186-0834-X
DOI :
10.1109/CMPEUR.1988.4935
