There are many projects being carried out to develop e-Government applications. In order an efficient application, a proper requirements specification is strictly required. However, in the case of improper specifications, errors unavoidable for developed Therefore, it necessary use model determine quality software requirements. literature, several studies have been presented propose Yet, there ...

Specification before implementation has been suggested as a sensible approach to software evolution. The quality of this approach may be improved by using formal specification. However, to serve as a trustable foundation for implementation and to help reduce the cost in program testing, the formal specification must be ensured to be satisfiable, consistent, complete, and accurate in recording t...

This article presents a tool that has been developed for the creation of multiple views of system requirements specification. The key component for developing the tool is a metamodel that enables to represent the different views, each one based on a particular method and technique. The primary benefits of the tool include: using two or more techniques in a system’s specification; translating re...

background: ablution area is one of the facilities used by most muslims in all categories. there are numbers of design guidelines for praying facilities but lack on ablution area specification. therefore, this study was conducted to design an ergonomic ablution area for the muslim’s disabled and elderly based on their preferences and anthropometric dimension. methods:  kano questionnaires and u...

The purpose of this paper is to introduce a system for EEG/ERP (electroencephalography, event-related potentials) data and metadata storage and processing and to summarize the authors’ research in this field. Since researchers have difficulties with a suitable long-term storage and management of electrophysiology data the presented system helps them to increase both efficiency and effectiveness...

. Using formal languages to specify system requirements guarantees the correctness of systems specifications. However, having correct specifications does not guarantee such specification matching user requirements. To guarantee such matching, users are required to validate formal specifications. This is a difficult task because, usually, users are unaware of notations. This work focus on this p...