|
|
|||
|
||||
OverviewThe 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. Full Product DetailsAuthor: John D Carter , Nasa Technical Reports Server (Ntrs) , Et AlPublisher: Bibliogov Imprint: Bibliogov Dimensions: Width: 18.90cm , Height: 0.20cm , Length: 24.60cm Weight: 0.073kg ISBN: 9781287237389ISBN 10: 128723738 Pages: 30 Publication Date: 23 July 2013 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In stock We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |