461 | -- | 476 | Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle. Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning |
477 | -- | 497 | Daniel Selva, Bruce G. Cameron, Edward F. Crawley. Patterns in System Architecture Decisions |
498 | -- | 509 | Holly A. H. Handley. A Design Methodology for Fit-for-Purpose Human Views |
510 | -- | 521 | Nicole Hutchison, Devanandham Henry, Arthur B. Pyster. Atlas: Understanding What Makes Systems Engineers Effective in the U.S. Defense Community |
522 | -- | 534 | Christopher Oster, Michael Kaiser, Jonathan Kruse, Jon Wade, Rob Cloutier. Applying Composable Architectures to the Design and Development of a Product Line of Complex Systems |
535 | -- | 548 | Erica Gralla, Zoe Szajnfarber. Characterizing Representational Uncertainty in System Design and Operations |
549 | -- | 566 | Edouard Kujawski. A Probabilistic Game-Theoretic Method to Assess Deterrence and Defense Benefits of Security Systems |