论文信息 - Formal representation of the requirements for an Advanced Subsonic Civil Transport (ASCT) flight control system

Formal representation of the requirements for an Advanced Subsonic Civil Transport (ASCT) flight control system

A partial requirement specification for an Advanced Subsonic Civil Transport (ASCT) Flight Control System is described. The example was adopted from requirements given in a NASA Contractor report. The language used to describe the requirements, Requirements Specification Language (RSL), is described in a companion document.

Gerald C. Cohen | Gene Fisher | Deborah Frincke | Dave Wolber | R. E. Mclees

[1] Gerald C. Cohen,et al. An example of requirements for Advanced Subsonic Civil Transport (ASCT) flight control system using structured techniques , 1991 .