ISBN 9781793966131 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
Mise En Scene: Conversion of Scenarios to CSP Traces for the Requirements-To-Design-To-Code Project
| AUTHOR | Nasa, National Aeronautics and Space Adm |
| PUBLISHER | Independently Published (01/14/2019) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
The "Requirements-to-Design-to-Code" (R2D2C) project at NASA's Goddard Space Flight Center is based on deriving a formal specification expressed in Communicating Sequential Processes (CSP) notation from system requirements supplied in the form of CSP traces. The traces, in turn, are to be extracted from scenarios, a user-friendly medium often used to describe the required behavior of computer systems under development. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) that encompasses CSP traces. Mise en Scene is offered as an initial solution to the problem of the scenarios-to-traces "D2" phase of R2D2C. A survey of the "scenario" concept and some case studies are also provided. Carter. John D. and Gardner, William B. and Rash, James L. and Hinchey, Michael G. Goddard Space Flight Center
Show More
Product Format
Product Details
ISBN-13:
9781793966131
ISBN-10:
1793966133
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
28
Carton Quantity:
146
Product Dimensions:
8.50 x 0.06 x 11.00 inches
Weight:
0.20 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Science | Space Science - General
Descriptions, Reviews, Etc.
publisher marketing
The "Requirements-to-Design-to-Code" (R2D2C) project at NASA's Goddard Space Flight Center is based on deriving a formal specification expressed in Communicating Sequential Processes (CSP) notation from system requirements supplied in the form of CSP traces. The traces, in turn, are to be extracted from scenarios, a user-friendly medium often used to describe the required behavior of computer systems under development. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) that encompasses CSP traces. Mise en Scene is offered as an initial solution to the problem of the scenarios-to-traces "D2" phase of R2D2C. A survey of the "scenario" concept and some case studies are also provided. Carter. John D. and Gardner, William B. and Rash, James L. and Hinchey, Michael G. Goddard Space Flight Center
Show More
