Blank Cover Image

Structured Representation for Requirements and Specifications

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

類似資料:

1 テクニカルペーパー Requirements Specification Language (RSL) and Supporting Tools

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

National Aeronautics and Space Adminstration
7 テクニカルペーパー Reliability model generator specification

Cohen, Gerald C., Mccann, Catherine

National Aeronautics and Space Adminstration
2 テクニカルペーパー 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
8 テクニカルペーパー Towards the Formal Verification 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
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 テクニカルペーパー Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit

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

National Aeronautics and Space Adminstration
4 テクニカルペーパー 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
10 テクニカルペーパー 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
5 テクニカルペーパー 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
11 テクニカルペーパー A Graphically Oriented Specification Language for Automatic Code Generation : GRASP/Ada - A Graphical Representation of Algo- rithms, Structure, and Process for …

Cross II, James H., Morrison, Kelly I., May, Jr., Charles H., Waddel, Kathryn C.

National Aeronautics and Space Adminstration
6 テクニカルペーパー REFERENCE MANUAL FOR A REQUIREMENTS SPECIFICATION LANGUAGE (RLS), VERSION 2.0

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

National Aeronautics and Space Adminstration
12 テクニカルペーパー Interpreter Composition Issues in the Formal Verification of a Processor-Memory Module

Fura, David A., Cohen, Gerald C.

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