Weiss
Model-Based Software Quality Assurance with the Architecture Analysis and Design Language
ABSTRACT - Model-based software quality assurance (MB-SQA) provides a rigorous framework for the verification and validation of software systems through the systematic modeling and analysis of formal architectur ...
AIAA Infotech@Aerospace 2009.
Seattle, WA.
April
Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission
ABSTRACT -
Traditional requirements specification and hazard analysis techniques have not kept pace with the increasing complexity and constraints of modern space systems development. These techniques are incom ...
IEEE Aerospace Conference.
Big Sky, MT.
March
Publications
By Year
By Author
Copyright Notice
This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from the paper's publisher and/or author.
You may not upload this material to any public server, on-line service, network, or bulletin board without prior written permission from the publisher and/or author. You may not make copies for any commercial purpose.
This material is not public domain. Reproduction or storage of materials retrieved from this web site are subject to the U.S. Copyright Act of 1976, Title 17 U.S.C.
