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
|
PDF
Applying SOFL to Construct Requirements (abstract).pdf Download (160kB) | Preview |
Abstract
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 Faculties, Institutes, Centres > Faculty of Computer Science and Information Technology 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 |
URI: | http://ir.unimas.my/id/eprint/16368 |
Actions (For repository members only: login required)
View Item |