Applying SOFL to construct requirements specification for examination monitoring system
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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2012
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/16368/ http://ir.unimas.my/id/eprint/16368/1/Applying%20SOFL%20to%20Construct%20Requirements%20%28abstract%29.pdf |
| _version_ | 1848838049367064576 |
|---|---|
| author | Abdul Rahman, Mat M.A., Khairuddin Azman Bujang, Masli Mohamad Nazim, Jambli Edwin, Mit |
| author_facet | Abdul Rahman, Mat M.A., Khairuddin Azman Bujang, Masli Mohamad Nazim, Jambli Edwin, Mit |
| author_sort | Abdul Rahman, Mat |
| building | UNIMAS Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T06:49:22Z |
| format | Article |
| id | unimas-16368 |
| institution | Universiti Malaysia Sarawak |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T06:49:22Z |
| publishDate | 2012 |
| publisher | IEEE |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | unimas-163682017-05-22T07:47:12Z http://ir.unimas.my/id/eprint/16368/ Applying SOFL to construct requirements specification for examination monitoring system Abdul Rahman, Mat M.A., Khairuddin Azman Bujang, Masli Mohamad Nazim, Jambli Edwin, Mit T Technology (General) 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. IEEE 2012 Article PeerReviewed text en http://ir.unimas.my/id/eprint/16368/1/Applying%20SOFL%20to%20Construct%20Requirements%20%28abstract%29.pdf 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 http://ieeexplore.ieee.org/document/6269408/ DOI: 10.1109/ICSESS.2012.6269408 |
| spellingShingle | T Technology (General) Abdul Rahman, Mat M.A., Khairuddin Azman Bujang, Masli Mohamad Nazim, Jambli Edwin, Mit Applying SOFL to construct requirements specification for examination monitoring system |
| title | Applying SOFL to construct requirements specification for examination monitoring system |
| title_full | Applying SOFL to construct requirements specification for examination monitoring system |
| title_fullStr | Applying SOFL to construct requirements specification for examination monitoring system |
| title_full_unstemmed | Applying SOFL to construct requirements specification for examination monitoring system |
| title_short | Applying SOFL to construct requirements specification for examination monitoring system |
| title_sort | applying sofl to construct requirements specification for examination monitoring system |
| topic | T Technology (General) |
| url | http://ir.unimas.my/id/eprint/16368/ http://ir.unimas.my/id/eprint/16368/ http://ir.unimas.my/id/eprint/16368/ http://ir.unimas.my/id/eprint/16368/1/Applying%20SOFL%20to%20Construct%20Requirements%20%28abstract%29.pdf |