Software systems developed for airborne applications must meet very detailed specifications as detailed in the draft FAA document, DO-178A, ``Software Considerations in Airborne Systems and Equipment Certification''. At least three important areas dealing with software reuse and automatic code generation must be addressed: