Show simple item record

dc.contributor.authorJackson, Daniel
dc.contributor.authorKang, Eunsuk
dc.date.accessioned2011-02-25T16:43:49Z
dc.date.available2011-02-25T16:43:49Z
dc.date.issued2009-05
dc.identifier.urihttp://hdl.handle.net/1721.1/61343
dc.descriptionURL to conference siteen_US
dc.description.abstractSome 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.en_US
dc.language.isoen_US
dc.publisherInstitute of Electrical and Electronics Engineersen_US
dc.relation.isversionofhttp://www.cs.uoregon.edu/events/icse2009/CoLocatedEvents/en_US
dc.rightsAttribution-Noncommercial-Share Alike 3.0 Unporteden_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/en_US
dc.sourceMIT web domainen_US
dc.titleProperty-part diagrams: A dependence notation for software systemsen_US
dc.typeArticleen_US
dc.identifier.citationJackson, 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.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.approverJackson, Daniel
dc.contributor.mitauthorJackson, Daniel
dc.contributor.mitauthorKang, Eunsuk
dc.relation.journalIEEE 31st International Conference on Software Engineering, 2009. ICSE 2009en_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
dspace.orderedauthorsJackson, Daniel; Kang, Eunsuk
dc.identifier.orcidhttps://orcid.org/0000-0002-0194-3989
dc.identifier.orcidhttps://orcid.org/0000-0003-4864-078X
mit.licenseOPEN_ACCESS_POLICYen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record