Published Articles >> Table of Contents >> Abstract

IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96)   p. 300
Behavioral Views for Software Requirements Engineering
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

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494542
Send link to a friend

Abstract
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.
Back to Top Additional Information
Index Terms- Requirements Specifications, Formal Methods, Statecharts Citation:  Ayaz Isazadeh, David A. Lamb, Glenn H. MacEwen, "Behavioral Views for Software Requirements Engineering," ecbs, p. 300,  IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96),  1996