Applying SOFL to construct requirements specification for examination monitoring system

QR Code

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...

Full description

Bibliographic Details
Main Authors:	Abdul Rahman, Mat, M.A., Khairuddin, Azman Bujang, Masli, Mohamad Nazim, Jambli, Edwin, Mit
Format:	Article
Language:	English
Published:	IEEE 2012
Subjects:	T Technology (General)
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

Similar Items

Capturing Requirement Specification for Safety-critical System using SOFL and UML
by: Azma, Abdullah, et al.
Published: (2015)

SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System
by: A Rahman, Mat, et al.
Published: (2013)

Refinement in integrated specifications of CSP-OZ
by: Azman Bujang, Masli, et al.
Published: (2015)

A tool for capturing safety properties from critical system specifications written in SOFL
by: Azma, Abdullah, et al.
Published: (2018)

Sustainability modelling of ecommerce for rural community: A case from long lamai Ezommerce initiative
by: WaiShiang, Cheah, et al.
Published: (2013)

Hazard Analysis for Safety-critical Systems Using SOFL
by: Azma, Abdullah, et al.
Published: (2013)

Capturing Safety Properties for Safety-critical Systems using SOFL
by: Azma, Abdullah, et al.
Published: (2011)

Formalize the Software Quality Measurement for Heterogeneous Requirements
by: Edwin, Mit, et al.
Published: (2015)

Improved two-ways classification for agent patterns
by: Cheah, Wai Shiang, et al.
Published: (2015)

Temporal Property Preservation Under Z Refinement in CSP-OZ Specifications
by: Azman Bujang, Masli, et al.
Published: (2012)

Software visual specification for requirement specification validation
by: Fauziah, Zainuddin, et al.
Published: (2018)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Software Requirement Specification Tool
by: Kong, Meng Yeow
Published: (2016)

Meta-requirement method towards analyzing completeness of requirements specification
by: Muhamad Idaham, Umar Ong, et al.
Published: (2018)

Proposal of meta-requirement approach to analyze requirements specification completeness
by: Muhamad Idaham, Umar Ong, et al.
Published: (2018)

Measuring software requirements specification quality
by: Nordin, Azlin, et al.
Published: (2017)

A meta-requirement approach to validate user requirement specification : Threshold definition
by: Muhamad Idaham, Umar Ong, et al.
Published: (2023)

Software visual specification for requirement engineering education
by: Fauziah, Zainuddin, et al.
Published: (2019)

Specific requirements of youth with physical disabilities in online business
by: Amin, Aizan Sofia, et al.
Published: (2020)

Framework of informal specification validation with visual specification and human factor involvement to improve requirement specification quality
by: Fauziah, Zainuddin
Published: (2019)

Specificity of Transfer in Basic and Applied Perceptual-Motor Tasks
by: Proctor, Robert, et al.
Published: (2013)

Applying Ranking Techniques for Products to Games
by: Fong, Edwin Chiok Hoong
Published: (2016)

Construction of PHB and PHBV multiple-gene vectors driven by an oil palm leaf-specific promoter
by: Mat Yunus, Abdul Masani, et al.
Published: (2009)

Education and training in construction in the Muslim world (with specific reference to quantity surveying)
by: Abdul Rashid, Khairuddin
Published: (2011)

Visualization representation benefits of pre-requirement specification tractability
by: Altaf, Sohaib, et al.
Published: (2018)

Visualization representing benefits of pre-requirement specification traceability
by: Altaf, Sohaib, et al.
Published: (2018)

Knowledge based requirements specification for reconfigurable assembly systems
by: Hirani, Hitendra J.
Published: (2005)

A tool for detecting ambiguity in software requirement specification
by: Isse, Abdirashid Ali
Published: (2019)

Integrate cultures and beliefs into genealogy software for remote communities in Borneo
by: Edwin, Mit, et al.
Published: (2012)

An analysis of ambiguity detection techniques for Software Requirements Specification (SRS)
by: Oo, Khin Hayman, et al.
Published: (2018)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

An examination of general, nondestination-specific versus destination-specific motivational factors
by: Gursoy, D, et al.
Published: (2010)

Word Sense Disambiguation By Using Domain Knowledge
by: Wei, Jan Lee, et al.
Published: (2011)

Applying semantic similarity measures to enhance topic-specific web crawling
by: Pesaranghader, Ali, et al.
Published: (2013)

Safety property attributes in critical systems for requirement specification : A review
by: Azma, Abdullah, et al.
Published: (2023)

Reviewing the Challenge and Practices of Human Factor Involvement in Requirement Specification Validation
by: Fauziah, Zainuddin, et al.
Published: (2018)

Ontology-driven and template-based approach for usability requirements elicitation and specification
by: Too, Chian Wen
Published: (2018)

Derivation of Effective Guidance for Specification Constructions from CDFD-based Knowledge Representation
by: Abdul Rahman, Mat, et al.
Published: (2013)

Awareness Of Applying Lean Construction In Penang, Malaysia
by: Goh, Poi See
Published: (2005)

Application of fuzzy clustering analysis to compound datasets for drug lead identification
by: Sinarwati, Mohamad Suhaili, et al.
Published: (2012)