An Environment for Building a System out of its Requirements

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by C. Smith Articles by K. Winter Articles by I. Hayes Articles by G. Dromey Articles by P. Lindsay Articles by D. Carrington

19th IEEE International Conference on Automated Software Engineering (ASE'04)

An Environment for Building a System out of its Requirements (PDF)

Linz, Austria

September 20-September 24

ISBN: 0-7695-2131-2

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10053

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.