Blank Cover Image

Requirements Specification Language (RSL) and Supporting Tools

著者名:
掲載資料名:
NASA Technical Reports
発行年:
1992
号:
NASA-CR-189700
パート:
NAS 1.26:189700
ペーパー番号:
N93-12345
開始ページ:
1
終了ページ:
73
総ページ数:
73
出版情報:
National Aeronautics and Space Adminstration
言語:
英語
資料種別:
テクニカルペーパー

類似資料:

1 テクニカルペーパー Formal Representation of the Requirements for an Advanced Subsonic Civil Transport (ASCT) Flight Control System

Frincke, Deborah, Wolber, Dave, Fisher, Gene, Cohen, G.C.

National Aeronautics and Space Adminstration
7 テクニカルペーパー An Example of Requirements for Advanced Subsonic Civil Transport (ASCT) Flight Control Svstem Using Structured Techniques

McLess, R.E., Cohen, G.C.

National Aeronautics and Space Adminstration
2 テクニカルペーパー Structured Representation for Requirements and Specifications

Cohen, Gerald C., Fisher, Gene, Frincke, Deborah, Wolber, Dave

National Aeronautics and Space Adminstration
8 テクニカルペーパー SCR System Optimization and Control Supported by Simulation Tools.

Koltsakis, G.C., Fragkiadoulakis, P., Samaras, Z., Georgiadis, E., Eizet, C.

Society of Automotive Engineers
3 テクニカルペーパー Tools Reference Manual for a Requirements Specification Language (RSL), Version 2.0

Fisher, Gene L., Cohen, Gerald C.

National Aeronautics and Space Adminstration
9 テクニカルペーパー A Comparison of the Apollo and Early Orion Environmental Control, Life Support and Active Thermal Control System's Driving Requirements and System Mass.

Cross, C., Lewis, J.F., Tuan, G.C.

Society of Automotive Engineers
4 テクニカルペーパー REFERENCE MANUAL FOR A REQUIREMENTS SPECIFICATION LANGUAGE (RLS), VERSION 2.0

Fisher, G.L., Cohen, G.C.

National Aeronautics and Space Adminstration
10 テクニカルペーパー Towards the Formal Specification of the Requirements and Design of a Processor Interface Unit - HOL Listings

Fura, David A., Windley, Phillip J., Cohen, Gerald C.

National Aeronautics and Space Adminstration
5 テクニカルペーパー IAPSA II Small-Scale System Specification

Cohen, G.C., Torkelson, T.C.

National Aeronautics and Space Adminstration
11 テクニカルペーパー Towards the Formal Specification of the Requirements and Design of a Processor Interface Unit

Fura, David A., Windley, Phillip J., Cohen, Gerald C.

National Aeronautics and Space Adminstration
6 テクニカルペーパー Formal Design Specification of a Processor Interface Unit

Fura, David A, Windeley, Phillip J., Cohen, G.C.

National Aeronautics and Space Adminstration
12 テクニカルペーパー A LATERAL GUIDANCE ALGORITHM TO REDUCE THE POST-AEROBRAKING BURN REQUIREMENTS...

Herman, G.C.

National Aeronautics and Space Administration
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12