Behavioral views for software requirements engineering

  • Isazadeh A
  • Lamb D
  • MacEwen G
  • 14


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


The paper introduces the concept of software behavioural 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 (1987) 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

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • a. Isazadeh

  • D.a. Lamb

  • G.H. MacEwen

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free