Investigating the readability of formal specification languages
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/82206 |
| _version_ | 1811094578977046528 |
|---|---|
| author | Zimmerman, Marc Kenton, 1975- |
| author2 | Nancy G. Leveson. |
| author_facet | Nancy G. Leveson. Zimmerman, Marc Kenton, 1975- |
| author_sort | Zimmerman, Marc Kenton, 1975- |
| collection | MIT |
| description | Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001. |
| first_indexed | 2024-09-23T16:02:19Z |
| format | Thesis |
| id | mit-1721.1/82206 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:02:19Z |
| publishDate | 2013 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/822062019-04-11T11:31:42Z Investigating the readability of formal specification languages Zimmerman, Marc Kenton, 1975- Nancy G. Leveson. Massachusetts Institute of Technology. Department of Aeronautics and Astronautics. Massachusetts Institute of Technology. Department of Aeronautics and Astronautics. Aeronautics and Astronautics. Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001. Includes bibliographical references (leaves 90-92). by Marc Kenton Zimmerman. S.M. 2013-11-18T18:54:40Z 2013-11-18T18:54:40Z 2001 2001 Thesis http://hdl.handle.net/1721.1/82206 49884977 eng 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 184 leaves application/pdf Massachusetts Institute of Technology |
| spellingShingle | Aeronautics and Astronautics. Zimmerman, Marc Kenton, 1975- Investigating the readability of formal specification languages |
| title | Investigating the readability of formal specification languages |
| title_full | Investigating the readability of formal specification languages |
| title_fullStr | Investigating the readability of formal specification languages |
| title_full_unstemmed | Investigating the readability of formal specification languages |
| title_short | Investigating the readability of formal specification languages |
| title_sort | investigating the readability of formal specification languages |
| topic | Aeronautics and Astronautics. |
| url | http://hdl.handle.net/1721.1/82206 |
| work_keys_str_mv | AT zimmermanmarckenton1975 investigatingthereadabilityofformalspecificationlanguages |