PROJECT TITLE :

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems

ABSTRACT:

Software style has been well recognized as an necessary means to attain high reliability, and formal specification will help enhance the quality of design. But, communications between the designer and also the user can become difficult via formal specifications due to the potentially complex mathematical expressions in the specification. This difficulty could cause matters where the user might not be closely concerned in the method of constructing the specification for quality assurance. To permit formal specification to play additional effective roles in software design, we place forward a replacement approach to house this problem during this paper. The approach is characterised by integrating specification animation-based mostly inspection into the process of constructing formal design specifications. We discuss the underlying principle of the approach by explaining how specification animation is utilized as a reading technique for inspection to validate, and then evolve, the present specification towards a satisfactory one. We tend to describe a prototype software tool for the tactic, and present a case study to indicate how the method supported by the tool works in practice.