Tools Reference Manual for a Requirements Specification Language (RSL), Version 2.0

Tools Reference Manual for a Requirements Specification Language (RSL), Version 2.0

著者名:

掲載資料名:

NASA Technical Reports

発行年:

1993

号:

NASA-CR-191461

パート:

NAS 1.26:191461

ペーパー番号:

N94-23125

開始ページ:

1

終了ページ:

69

総ページ数:

69

出版情報:

National Aeronautics and Space Adminstration

言語:

英語

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:

ZA00001430

類似資料:

1 テクニカルペーパー REFERENCE MANUAL FOR A REQUIREMENTS SPECIFICATION LANGUAGE (RLS), VERSION 2.0 Fisher, G.L., Cohen, G.C. National Aeronautics and Space Adminstration	7 テクニカルペーパー AIRCRAFT NOISE PREDICTION PROGRAM PROPELLER ANALYSIS SYSTEM IBM-PC VERSION USER'S MANUAL VERSION 2.0 Nolan, Sandra K. National Aeronautics and Space Administration
2 テクニカルペーパー Requirements Specification Language (RSL) and Supporting Tools Frincke, Deborah, Wolber, Dave, Fisher, Gene, Cohen, G.C. National Aeronautics and Space Adminstration	8 テクニカルペーパー Elf Hardware Synthesis System EV2 to CDFG Language Translator User's Guide and Language Reference Manuual Version 2.3.0 Elwood, W. Lloyd National Aeronautics and Space Adminstration
3 テクニカルペーパー Structured Representation for Requirements and Specifications Cohen, Gerald C., Fisher, Gene, Frincke, Deborah, Wolber, Dave National Aeronautics and Space Adminstration	9 テクニカルペーパー Elf Hardware Synthesis System Cell Library Management Reference Manual and User's Guide Version2.3.0 Hammerlindl, J.Brett, Girczyc, Emil F. National Aeronautics and Space Adminstration
4 テクニカルペーパー Solid Modeling Aerospace Research Tool (SMART) User's Guide : Version 2.0 McMillin, Mark L., Spangler, Jan L., Dahmen, Stephen M., Rehder, John J. National Aeronautics and Space Adminstration	10 テクニカルペーパー The Reference Manual for the Management of Cell Libraries for the Elf Hardware Synthesis System Version 2.3.0 Hammerlindl, J.Brett, Girczyc, Emil F. National Aeronautics and Space Adminstration
5 テクニカルペーパー 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	11 テクニカルペーパー Elf Hardware Synthesis System Cell Library Management Reference Manual and User's Guide Version2.3.0 Elwood, Lloyd W. National Aeronautics and Space Adminstration
6 テクニカルペーパー 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	12 テクニカルペーパー Reliability model generator specification Cohen, Gerald C., Mccann, Catherine National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12