Applying SOFL to construct requirements specification for examination monitoring system

Abdul Rahman, Mat and M.A., Khairuddin and Azman Bujang, Masli and Mohamad Nazim, Jambli and Edwin, Mit (2012) Applying SOFL to construct requirements specification for examination monitoring system. IEEE 3rd International Conference on Software Engineering and Service Science (ICSESS), 2012. ISSN ISBN: 978-1-4673-2008-5

Applying SOFL to Construct Requirements (abstract).pdf

Download (160kB) | Preview
Official URL:


SOFL approach to the construction of the formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not been demonstrated aggressively. In this paper, we describe an application of the SOFL approach to the construction of a specification during requirements analysis. This approach requires two steps: informal and semi-formal steps. In order to describe on how this approach can be applied to capture requirements using SOFL easily, we use a case study to develop an examination monitoring system for construct abstract requirements. This case study demonstrates the suitability of SOFL to capture detail requirements and provides us with an insight into the knowledge of how SOFL approach can be effectively supported.

Item Type: Article
Uncontrolled Keywords: examination monitoring system, SOFL, specification, requirements analysis, formal engineering method, research, Universiti Malaysia Sarawak, unimas, university, universiti, Borneo, Malaysia, Sarawak, Kuching, Samarahan, ipta, education
Subjects: T Technology > T Technology (General)
Divisions: Academic Faculties, Institutes and Centres > Faculty of Computer Science and Information Technology
Depositing User: Karen Kornalius
Date Deposited: 22 May 2017 07:47
Last Modified: 22 May 2017 07:47

Actions (For repository members only: login required)

View Item View Item