IEEE - Institute of Electrical and Electronics Engineers, Inc. - Some supporting tools for the algebraic specification of data types

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): Jian Zhang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 1
Page Count: 3
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320021
Regular:

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... View More

Advertisement