bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Link
Leave blank if none exists

Title
This is the text which will be hyperlinked, if a link exists

Generating Code Review Documentation for Auto-Generated Mission-Critical Software,

SWE or Topic

SWE-146, SWE-206, Topic 7.11,

Citation
This contains additional information, which will appear after the title, separated by a comma

Ewen Denney (SGT NASA Ames), Bernd Fischer, July 2009.

Notes
More specific directions where to look in the resource for relevant content

Example Reference as it will appear to end user:

  1. Title, Citation

where:




Quotes used in SWEs and Topics

“Users not only need to be sure that the code implements the model, but also that the code generator is correctly used and configured, that the target adaptations are correct, that the generated code meets high-level safety requirements, that it is integrated with legacy code, and so on."

"Users not only need to be sure that the code implements the model, but also that the code generator is correctly used and configured, that the target adaptations are correct, that the generated code meets high-level safety requirements, that it is integrated with legacy code, and so on."