Title :
Some supporting tools for the algebraic specification of data types
Author_Institution :
Inst. of Software, Acad. Sinica, Beijing, China
Abstract :
The algebraic specification technique is one of the most influential formal methods in software engineering. In this paper, we describe some supporting tools for writing, verifying and executing algebraic specifications. Examples are given to illustrate the use of these tools.<>
Keywords :
abstract data types; formal specification; formal verification; rewriting systems; symbol manipulation; algebraic specification; data types; formal methods; formal verification; software engineering; Algebra; Books; Equations; Formal specifications; Natural languages; Programming; Software engineering; Writing;
Conference_Titel :
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7803-1233-3
DOI :
10.1109/TENCON.1993.320021
