A static analysis to detect coupling and conflicts in declarative specifications
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. === Includes bibliographical references (p. 75-76). === by Ian R. Schechter. === S.B.and M.Eng.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Massachusetts Institute of Technology
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/86504 |
| id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-86504 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-865042019-05-02T16:17:10Z A static analysis to detect coupling and conflicts in declarative specifications Schechter, Ian R. (Ian Robert), 1977- Daniel Jackson. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. Includes bibliographical references (p. 75-76). by Ian R. Schechter. S.B.and M.Eng. 2014-05-07T16:45:44Z 2014-05-07T16:45:44Z 2000 2000 Thesis http://hdl.handle.net/1721.1/86504 46894846 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 76 p. application/pdf Massachusetts Institute of Technology |
| collection |
NDLTD |
| language |
English |
| format |
Others
|
| sources |
NDLTD |
| topic |
Electrical Engineering and Computer Science. |
| spellingShingle |
Electrical Engineering and Computer Science. Schechter, Ian R. (Ian Robert), 1977- A static analysis to detect coupling and conflicts in declarative specifications |
| description |
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. === Includes bibliographical references (p. 75-76). === by Ian R. Schechter. === S.B.and M.Eng. |
| author2 |
Daniel Jackson. |
| author_facet |
Daniel Jackson. Schechter, Ian R. (Ian Robert), 1977- |
| author |
Schechter, Ian R. (Ian Robert), 1977- |
| author_sort |
Schechter, Ian R. (Ian Robert), 1977- |
| title |
A static analysis to detect coupling and conflicts in declarative specifications |
| title_short |
A static analysis to detect coupling and conflicts in declarative specifications |
| title_full |
A static analysis to detect coupling and conflicts in declarative specifications |
| title_fullStr |
A static analysis to detect coupling and conflicts in declarative specifications |
| title_full_unstemmed |
A static analysis to detect coupling and conflicts in declarative specifications |
| title_sort |
static analysis to detect coupling and conflicts in declarative specifications |
| publisher |
Massachusetts Institute of Technology |
| publishDate |
2014 |
| url |
http://hdl.handle.net/1721.1/86504 |
| work_keys_str_mv |
AT schechterianrianrobert1977 astaticanalysistodetectcouplingandconflictsindeclarativespecifications AT schechterianrianrobert1977 staticanalysistodetectcouplingandconflictsindeclarativespecifications |
| _version_ |
1719038128548741120 |