DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II.Reportar como inadecuado




DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II. - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: DTIC ADA046572: REVS Users Manual. SREP Final Report. Volume II.
This manual describes and provides instructions for using the Requirements Statement Language (RSL) and the Requirements Engineering and Validation System (REVS). RSL is a flow oriented language for stating software requirements in a clear, non-ambibiguous form. REVS includes a translator for RSL, a data base for maintaining the description of a sy

Autor: Defense Technical Information Center

Fuente: https://archive.org/


Introducción



REVS USERS MANUAL SREP FINAL REPORT - VOLUME II CDRL C005 1 AUGUST 1977 Principal Authors: M.
E.
Dyer L.
J.
Gunther R.
W.
Smith W.
E.
Benoit P.
N.
Bergstresser D.
C.
Blxler W.
G.
Heckler G.
C. Hitt D.
E.
McQueen (AIC) Approved By: Software Requirements Engineering Program M.
C.
Dyer,Manager SREP Software and Language Development Japes E.
Long, Manager Huntsville Facility Prepared For BALLISTIC MISSILE DEFENSE ADVANCED TECHNOLOGY CENTER DASG60-75-C-0022 TRW DEFENSE AND SPACE SYSTEMS GPOUP Huntsville, Alabama RECORD OF REVISIONS TABLE OF CONTENTS Section 1.0 2.0 3.0 T Title Page INTRODUCTION 1-1 OVERVIEW OF RSL AND REVS 2-1 2.1 REQUIREMENTS NETWORKS (R_NETS) 2-3 2.2 REQUIREMENTS STATEMENT LANGUAGE (RSL) 2-7 2.3 REQUIREMENTS ENGINEERING AND VALIDATION SYSTEM (REVS) 2-9 REQUIREMENTS STATEMENT LANGUAGE 3-1 3.1 DATA SEGMENT 3-3 3.1.1 Data and Hierarchies 3-3 3.1.2 Files 3-4 3.1.3 Interfaces and Messages 3-5 3.1.4 Entity Types and Entity Classes 3-6 3.1.5 Data and File Uniqueness 3-7 3.1.6 Locality 3-10 3.1.7 Typing and Usage 3-11 3.1.8 Values 3-12 3.1.9 Summary of Data Segment Concepts 3-12 3.2 ALPHA SEGMENT 3-21 3.2.1 Executable Descriptions 3-21 3.2.2 Referencing Data 3-21 3.2.3 Accessing Files 3-22 3.2.4 Accessing Entities 3-24 3.2.5 Operations on Entities and Messages 3-24 3.2.6 Summary of Alpha Segment Concepts 3-24 3.3 REQUIREMENTS NETWORK SEGMENT 3-27 3.3.1 Top-Down Flow Specification 3-27 3.3.2 Enablement 3-27 3.3.3 Structure 3-28 3.3.4 Summary of Requirements Network Segment Concepts 3-34 3.4 VALIDATION SEGMENT 3-37 3.4.1 Validation Points 3-37 3.4.2 Validation Paths 3-38 3.4.3 Stimulus-Response Timing Requirements 3-38 3.4.4 Analytic Performance and Non-StimulusResponse-Timing Requirements 3-40 3.4.5 Summary of Validation Segment Concepts .
3-41 v TABLE OF CONTENTS (Continued) Section Title Page 3.5 MANAGEMENT SEGMENT 3-43 3.5.1 Configuration Management 3-43 3.5.2 Traceability 3-43 3.5.3 Decisions 3-44 3.5.4 Source Material 3-44 3.5.5 Syn...





Documentos relacionados