Design and Realization of New Software Requirements Description Language

姚昱,毋国庆,吴怀广,万黎
DOI: https://doi.org/10.3778/j.issn.1002-8331.2009.21.054
2009-01-01
Computer Engineering and Applications Journal
Abstract:In this paper,a new software behavior oriented requirements modeling methodology and a behavior description language(BDL)are presented.The design and realization of the requirements description language are discussed.By using the mod-eling methodology,effective behaviors of the target system can be extracted from the user's requirements information,and then the behavior model of target system can be built.This modeling methodology can help the software users and developers to understand the behaviors of the target system more thoroughly,and can establish a foundation for automatically checking some characters of the target system.
What problem does this paper attempt to address?