|
Published Articles >> Table of Contents >> Abstract
19th IEEE International Conference on Automated Software Engineering (ASE'04)
pp. 398-399
An Environment for Building a System out of its Requirements
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
Full Article Text:
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
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
|
|
