Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. === Includes bibliographical references (p. 173-175). === by Yang Meng Tan. === Ph.D.

Bibliographic Details
Main Author: Tan, Yang Meng
Other Authors: John V. Guttag.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2007
Subjects:
Electrical Engineering and Computer Science
Online Access:http://hdl.handle.net/1721.1/35391

Internet

http://hdl.handle.net/1721.1/35391

Similar Items