Satellite-based navigation requires precise knowledge of the structure of the transmitted signals. Accurate knowledge of the shapes of the code correlation peaks is required to ensure no biases are introduced into the position solution. It is often presumed that all incoming ranging codes (e.g., C/A codes) are effectively ideal. However, nominal signal deformations—small distortions of the code...

In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional requirements specification and documentation, whereas task models are used as a starting point for user interface design. Based on their intrinsic characteristics we devise an intermediate semantic domain for use cases and fo...

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

A methodology for the description of hierarchical system requirements and formal specifications is presented. We will specifically deal with the issues (1) hierarchical structure of system properties, (2) system requirements, (3) system specifications, (4) soundness and completeness, (5) synthesis of formal specificaitons.

The GOPCSD (Goal Oriented Process Control Systems Design) tool is an integrated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requirements specifications and generate in the B specification language a formal specification of such process control requirements. Borrowing from the KAOS method, the GOPCSD tool adopts the goal-or...

Currently there are several software development suites that include tools for user interface design and implementation (mainly by programming source code). Some of the tools are multi-platform and multi-style; that is, allowing the specification of devices, e.g. computer, notebook, smartphone, and user interaction styles, e.g. based on gestures, voice, mouse and keyboard. Among the styles, ges...

This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control. This model is intended to form part of the requirements specification for a decision support system for air traffic controllers. We give an overview of the methods we used in analysing the scope of the domain, choosing an appropriate ...

The available approaches for automatically generating class models from natural language (NL) software requirements specifications (SRS) exhibit less accuracy due to informal nature of NL such as English. In the automated class model generation, a higher accuracy can be achieved by overcoming the inherent syntactic ambiguities and semantic inconsistencies in English. In this paper, we propose a...

abstract: the profound effect of mgovernment on the future of businesses and communities has been proven in numerous studies. the aim of the present study is provide a model for user requirements and validate the proposed model is based on a literature review of research. the findings suggest that effective and efficient transactions including time, security, privacy, reliability and cost of th...