This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Your "What" Is My "How": Iteration and Hierarchy in System Design
March-April 2013 (vol. 30 no. 2)
pp. 54-60
ASCII Text
x 
 
Michael W. Whalen, Andrew Gacek, Darren Cofer, Anitha Murugesan, Mats P.E. Heimdahl, Sanjai Rayadurgam, "Your "What" Is My "How": Iteration and Hierarchy in System Design," IEEE Software, vol. 30, no. 2, pp. 54-60, March-April, 2013.
 
 
BibTex
x
 
@article{ 10.1109/MS.2012.173,
author = {Michael W. Whalen and Andrew Gacek and Darren Cofer and Anitha Murugesan and Mats P.E. Heimdahl and Sanjai Rayadurgam},
title = {Your "What" Is My "How": Iteration and Hierarchy in System Design},
journal ={IEEE Software},
volume = {30},
number = {2},
issn = {0740-7459},
year = {2013},
pages = {54-60},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2012.173},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Your "What" Is My "How": Iteration and Hierarchy in System Design
IS - 2
SN - 0740-7459
SP54
EP60
EPD - 54-60
A1 - Michael W. Whalen,
A1 - Andrew Gacek,
A1 - Darren Cofer,
A1 - Anitha Murugesan,
A1 - Mats P.E. Heimdahl,
A1 - Sanjai Rayadurgam,
PY - 2013
KW - Computer architecture
KW - Contracts
KW - Software
KW - Analytical models
KW - Cognition
KW - Aerospace electronics
KW - architecture
KW - formal methods
KW - requirements
KW - refinement
KW - model checking
VL - 30
JA - IEEE Software
ER -
 
Michael W. Whalen, University of Minnesota
Andrew Gacek, Rockwell Collins
Darren Cofer, Rockwell Collins
Anitha Murugesan, University of Minnesota
Mats P.E. Heimdahl, University of Minnesota
Sanjai Rayadurgam, University of Minnesota
Systems are naturally constructed in hierarchies, in which design choices made at higher levels of abstraction levy requirements on system components at the lower levels. Thus, whether an aspect of a system is a design choice or a requirement largely depends on your vantage point within the system components' hierarchy. Systems are also often constructed from the middle-out rather than top-down; compatibility with existing systems and architectures and availability of specific components influence high-level requirements. Requirements and architectural design should be more closely aligned: requirements models must account for hierarchical system construction and architectural design notations must better support requirements specification for system components.
Index Terms:
Computer architecture,Contracts,Software,Analytical models,Cognition,Aerospace electronics,architecture,formal methods,requirements,refinement,model checking
Citation:
Michael W. Whalen, Andrew Gacek, Darren Cofer, Anitha Murugesan, Mats P.E. Heimdahl, Sanjai Rayadurgam, "Your "What" Is My "How": Iteration and Hierarchy in System Design," IEEE Software, vol. 30, no. 2, pp. 54-60, March-April 2013, doi:10.1109/MS.2012.173
Usage of this product signifies your acceptance of the Terms of Use.