A behavior based requirements modeling environment for complex software

Zhengping Liang,Guoqing Wu,Huaiguang Wu,Li Wan
2011-01-01
Journal of Computational Information Systems
Abstract:Software requirements model is the core asset of software lifecycle. This paper presents a computer aided software engineering tool Behavior based Requirements Modeling Environment BRME based on Behaviors Description Language BDL, which is used for requirements modeling and validation of complex software. The main functions of it involve global requirements information management, requirements modeling based on viewpoint and scenario, automatic requirements checking and validation. BRME can effectively and conveniently help software requirements stakeholders to build a formal requirements model step by step. In addition, it can automatically check the correctness and validity of requirements model. Copyright © 2011 Binary Information Press.
What problem does this paper attempt to address?