Property-part diagrams: A dependence notation for software systems
URL to conference site
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers
2011
|
| Online Access: | http://hdl.handle.net/1721.1/61343 https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X |
| _version_ | 1826189685178761216 |
|---|---|
| author | Jackson, Daniel Kang, Eunsuk |
| author2 | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
| author_facet | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Jackson, Daniel Kang, Eunsuk |
| author_sort | Jackson, Daniel |
| collection | MIT |
| description | URL to conference site |
| first_indexed | 2024-09-23T08:19:29Z |
| format | Article |
| id | mit-1721.1/61343 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T08:19:29Z |
| publishDate | 2011 |
| publisher | Institute of Electrical and Electronics Engineers |
| record_format | dspace |
| spelling | mit-1721.1/613432022-09-23T12:19:24Z Property-part diagrams: A dependence notation for software systems Jackson, Daniel Kang, Eunsuk Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Jackson, Daniel Jackson, Daniel Kang, Eunsuk URL to conference site Some limitations of traditional dependence diagrams are explained, and a new notation that overcomes them is proposed. The key idea is to include in the diagram not only the parts of a system but also the properties that are assigned to them; dependences are shown as a relation not from parts to parts, but between properties and the parts (or other properties) that support them. The diagram can be used to evaluate modularization in a design, to assess how successfully critical properties are confined to a limited subset of parts, and to structure a dependability argument. 2011-02-25T16:43:49Z 2011-02-25T16:43:49Z 2009-05 Article http://purl.org/eprint/type/ConferencePaper http://hdl.handle.net/1721.1/61343 Jackson, Daniel and Eunsuk Kang. "Property-part diagrams: A dependence notation for software systems." ICSE Workshop: A Tribute to Michael Jackson, Vancouver, May 2009, IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009. https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X en_US http://www.cs.uoregon.edu/events/icse2009/CoLocatedEvents/ IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009 Attribution-Noncommercial-Share Alike 3.0 Unported http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Institute of Electrical and Electronics Engineers MIT web domain |
| spellingShingle | Jackson, Daniel Kang, Eunsuk Property-part diagrams: A dependence notation for software systems |
| title | Property-part diagrams: A dependence notation for software systems |
| title_full | Property-part diagrams: A dependence notation for software systems |
| title_fullStr | Property-part diagrams: A dependence notation for software systems |
| title_full_unstemmed | Property-part diagrams: A dependence notation for software systems |
| title_short | Property-part diagrams: A dependence notation for software systems |
| title_sort | property part diagrams a dependence notation for software systems |
| url | http://hdl.handle.net/1721.1/61343 https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X |
| work_keys_str_mv | AT jacksondaniel propertypartdiagramsadependencenotationforsoftwaresystems AT kangeunsuk propertypartdiagramsadependencenotationforsoftwaresystems |