Skip to main content
The AIG web pages make heavy use of cascading style sheet features for formatting. You may still browse the text of the site, but for best results, please use a CSS enabled browser. Netscape 6 and Mozilla 5 are good. IE 5 will do.

JPL Header

Navigation Sidebar

Main Content



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 ... D. Gluch, P. Feiler, K. Weiss, K. Woodham AIAA Infotech@Aerospace 2009. Seattle, WA. April 2009 . + PDF CL#09-1019
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 ... B.D. Owens, M.S. Herring, N. Dulac, N.G. Leveson, M. Ingham, K. Weiss IEEE Aerospace Conference. Big Sky, MT. March 2008 . + PDF CL#07-3687


+ Complete Bibliography
+ Featured Publications
+ MDS TSPA Docushare Repository

By Year

+ 2010
+ 2009
+ 2008
+ 2007
+ 2006
+ 2005
+ 2004
+ 2003
+ 2002
+ 2001
+ 2000

By Author

+ Choi
+ Barrett
+ Bennett
+ Dvorak
+ Horvath
+ Ingham
+ Lee
+ Knight
+ Kordon
+ Mishkin
+ Morris
+ Murray
+ Rasmussen
+ Reeves
+ Reinholtz
+ Starbird
+ Wagner
+ Weiss
+ Wolgast

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.