Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS

摘要: A systematic approach in requirement engineering helps discovering and understanding the requirements at different levels of abstraction as well makes traceable verifiable early project. This paper presents a methodology for by using combination formal semiformal techniques to model software analysis verification. The proposed framework incorporates requirement-analysis requirement-verification models, which are guided Domain Model represented Conceptual Class diagram defined Ontology. is particularly useful when hierarchical traceability between detailed level its correspondence an abstract required. also allows verification accordance with respect Model. each three modeling techniques: Graph, Use-Case VDM-SL specification. ensure levels, three-dimensional schema, proposed. Requirements Intelligent Learning Management System used example illustrate proposal.