loading...
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
Columbia, MD, USA March 06-March 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2007.10431st IEEE Software Engineering Worksh ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
J. Carter, W. B. Gardner, "Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 41-52, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.104,
author = {J. Carter and W. B. Gardner},
title = {Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {41-52},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.104},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
SN - 1550-6215
SP41
EP52
A1 - J. Carter,
A1 - W. B. Gardner,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
The "Requirements to Design to Code" (R2D2C) project of NASA's Software Engineering Laboratory is based on inferring a formal specification, currently using Communicating Sequential Processes (CSP), from sys- tem requirements supplied in the form of scenarios, a user-friendly medium often used to describe the behavior of computer systems under development. The scenarios are first converted into an intermediate form, CSP traces, from which are derived CSP specifications. 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) which encompasses CSP traces. A survey of the "scenario" concept and a small case study are also presented.
Citation:
J. Carter, W. B. Gardner, "Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming," sew, pp.41-52, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.