Behavioral Views for Software Requirements Engineering

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers 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 Ayaz Isazadeh Articles by David A. Lamb Articles by Glenn H. MacEwen

IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96)

Friedrichshafen, GERMANY

March 11-March 15

ISBN: 0-8186-7355-9

	ASCII Text	x
	Ayaz Isazadeh, David A. Lamb, Glenn H. MacEwen, "Behavioral Views for Software Requirements Engineering," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 300, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996.

	BibTex	x
	@article{ 10.1109/ECBS.1996.494542, author = {Ayaz Isazadeh and David A. Lamb and Glenn H. MacEwen}, title = {Behavioral Views for Software Requirements Engineering}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {1996}, isbn = {0-8186-7355-9}, pages = {300}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494542}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Behavioral Views for Software Requirements Engineering SN - 0-8186-7355-9 SP EP A1 - Ayaz Isazadeh, A1 - David A. Lamb, A1 - Glenn H. MacEwen, PY - 1996 KW - Requirements Specifications KW - Formal Methods KW - Statecharts VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER -

Ayaz Isazadeh, Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6

David A. Lamb, Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6

Glenn H. MacEwen, Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494542

This paper introduces the concept of software behavioral views, and presents a formal notation for their specification and composition. The objective is software behavioral requirements specification independent of design and implementation. The paper claims that behavioral views can reduce the complexity of software behavioral requirements specification. To establish this claim, the paper introduces a notation, called Viewcharts, which is based on David Harel's Statecharts. Viewcharts extends Statecharts to include behavioral views and their compositions, limits the scope of broadcast communications and, consequently, reduces the complexity of scale that Statecharts faces in behavioral specification of large systems.

Index Terms:

Requirements Specifications, Formal Methods, Statecharts

Citation:

Ayaz Isazadeh, David A. Lamb, Glenn H. MacEwen, "Behavioral Views for Software Requirements Engineering," ecbs, pp.300, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

Peer Review Notice | Give Us Feedback

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