loading...
An Environment for Building a System out of its Requirements
Linz, Austria September 20-September 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.1005319th IEEE International Conference on ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
C. Smith, K. Winter, I. Hayes, G. Dromey, P. Lindsay, D. Carrington, "An Environment for Building a System out of its Requirements," Automated Software Engineering, International Conference on, pp. 398-399, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2004.10053,
author = {C. Smith and K. Winter and I. Hayes and G. Dromey and P. Lindsay and D. Carrington},
title = {An Environment for Building a System out of its Requirements},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2004},
issn = {1068-3062},
pages = {398-399},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - An Environment for Building a System out of its Requirements
SN - 1068-3062
SP398
EP399
A1 - C. Smith,
A1 - K. Winter,
A1 - I. Hayes,
A1 - G. Dromey,
A1 - P. Lindsay,
A1 - D. Carrington,
PY - 2004
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
C. Smith, University of Queensland, Australia
K. Winter, University of Queensland, Australia
I. Hayes, University of Queensland, Australia
G. Dromey, University of Queensland, Australia
P. Lindsay, University of Queensland, Australia
D. Carrington, University of Queensland, Australia
A toolset for system design and analysis is described. The tool allows individual translated functional requirements to be entered graphically as Behavior Trees. Once integrated these Behavior Trees form a problem domain representation of the design. This representation is automatically mapped to CSP to enable model checking with FDR. A number of consistency checks on the design can be performed. Examples are used to illustrate the results produced by the toolset.
Citation:
C. Smith, K. Winter, I. Hayes, G. Dromey, P. Lindsay, D. Carrington, "An Environment for Building a System out of its Requirements," ase, pp.398-399, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions