Investigating the readability of formal specification languages

Zimmerman, Marc Kenton, 1975-

Investigating the readability of formal specification languages

Download

Name

49884977-MIT.pdf

Description

Full printable version

Size

16.26 MB

Format

Adobe PDF

Checksum (MD5)

3557bf5bac6db8ae77b448eba220587f

Author(s)

Zimmerman, Marc Kenton, 1975-

Advisor(s)

Nancy G. Leveson.

Date Issued

2001

Publisher

Massachusetts Institute of Technology

Description

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001.

Includes bibliographical references (leaves 90-92).

Subjects

Aeronautics and Astronautics.

MIT Department

Massachusetts Institute of Technology. Department of Aeronautics and Astronautics

Terms of Use

M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.

http://dspace.mit.edu/handle/1721.1/7582

Persistent DSpace Link

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