loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96)
Behavioral Views for Software Requirements Engineering
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
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
Usage of this product signifies your acceptance of the Terms of Use.