This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th IEEE International Conference on Automated Software Engineering (ASE'04)
Linz, Austria
September 20-September 24
ISBN: 0-7695-2131-2
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.