An environment for building a system out of its requirements

C. Smith, K. Winter, I. Hayes, G. Dromey, P. Lindsay, D. Carrington
Proceedings. 19th International Conference on Automated Software Engineering, 2004.  
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.
doi:10.1109/ase.2004.1342775 fatcat:a43l6a6xq5hvlkblv6vyjdbj5y