EXISTING SOFTWARE

Research On Existing Software

Research on Existing Software

Question 1

Introduction

This introduction presents the actual meaning of the thesis statement. Apart from being the portrayal of the subjects of every part, it is also a brief summary of the problem (you will explain in detail the problems), it is a worthy cause of the problem, and possibly give you an impression of the major outcomes. It is just like a birds eye in relation to the thesis in order to answer the major question. Global positioning system based only on the formal specification of the satellite GPS signal transmitter. However, land-based transmitters have been used to supplement, because the concept of the GPS satellites the first day. These auxiliary ground-based transmitters are called "pseudo satellite", which is rapidly reduced to pseudo-satellite. Global positioning system in the initial test, the pseudo-satellite to be used as a direct replacement has not yet launched a satellite, so that the test carried out more quickly. Since then, others have emerged with the concept of pseudo-satellites. Enhance the existing pseudo-satellite GPS navigation and positioning technology. Therefore, this chapter will review these techniques in the form. Review at the appropriate point, the new concept of pseudo-satellites were introduced, and describe their interests. Some receivers can not track all the pseudo-satellite, or GPS satellites can not track the existence of the pseudo-satellite (Yoo, 2007, 2083).

In the user interface design using formal methods is often prompts the desire to ensure the correctness of system functions interface that allows access or control. For most real systems, the user interface does not allow unlimited, unrestricted access to the internal state with the attendant, events, and parameters of the system's basic aspects of behavior. Therefore, an interface provides a function of the system only an abstract concept, designer's main concern is to ensure that the abstract interface, to ensure the correct behavior. At present, this abstraction is a way of gathering knowledge domain specific and cross application domain using heuristics and the best estimate of the results. Implementation and evaluation process usually involves a variety of interface design on the repeated, expensive tests, and extensive testing. In addition to the usual user interface design often occurs in a preconceived idea and possible function of the system user needs. However, the complexity increases, it becomes increasingly difficult, if not impossible, to meet all the requirements of the implementation of the user to hard-coded user interface. In the work reported here, are seeking to match the user's specific circumstances (device type and capabilities, positioning, interactive, etc.) the basic functions of the system of formal methods and logic: It is recommended to use a hierarchical set up a formal logical model of the observing system provide interfaces both internal verification process and the cognitive (logic) program to automatically generate and update the interface at runtime.

Analysis

This should explain, in a more detailed way, analysis of project requirements and goals should be broken down into manageable steps in the ...