Article citationsMore>>

C. Attiogbe, P. Poizat, and G. Salaun, “A formal and tool-equipped approach for the integration of state diagrams and formal datatypes,” IEEE Transactions on Software Engineering, Vol. 33, No. 3, pp. 157–170, March 2007.

has been cited by the following article:

• TITLE: Lightweight Behavior-Based Language for Requirements Modeling

  AUTHORS: Zhengping Liang, Guoqing Wu, Li Wan

  KEYWORDS: Behavior Description Language (BDL), Scenario, Viewpoint, Behavior Requirements Model (BRM)

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.3 No.3, April 8, 2010

  ABSTRACT: Whether or not a software system satisfies the anticipated user requirements is ultimately determined by the behaviors of the software. So it is necessary and valuable to research requirements modeling language and technique from the perspective of behavior. This paper presents a lightweight behavior based requirements modeling language BDL with formal syntax and semantics, and a general-purpose requirements description model BRM synthesizing the concepts of viewpoint and scenario. BRM is good for modeling large and complex system due to its structure is very clear. In addition, the modeling process is demonstrated through the case study On-Line Campus Management System. By lightweight formal style, BDL & BRM can effectively bridge the gap between practicability and rigorousness of formal requirements modeling language and technique.