Derivation of context axioms and semantics of data with the Domain Model Editor

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998. === Includes bibliographical references (leaves 58-59). === by Christo...

Full description

Bibliographic Details
Main Author: Leung, Christopher, 1975-
Other Authors: Stuart E. Madnick.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2009
Subjects:
Online Access:http://hdl.handle.net/1721.1/47528