DocumentCode
2037562
Title
Some supporting tools for the algebraic specification of data types
Author
Jian Zhang
Author_Institution
Inst. of Software, Acad. Sinica, Beijing, China
Volume
1
fYear
1993
fDate
19-21 Oct. 1993
Firstpage
439
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TENCON.1993.320021
Filename
320021
Link To Document