By Topic

Rule-based translation of specifications to executable code

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Khalafinejad, S. ; Dept. of Comput. Eng., Sharif Univ. of Technol.-Int. Branch, Kish Island, Iran ; Mirian-Hosseinabadi, S.

It is well known that the use of formal methods in the software development process results in a high-quality software product. However, since formal approaches are just reasoning mechanisms, they do not offer defined ordered steps and guidance for moving between them. Refinement is a technique for moving between specifications but it bears very little resemblance to the real process of software design. An automatic translator from a specification language to an executable code would be highly useful in maximizing the benefits of formal methods. In the domain of database applications, we propose a rule-based algorithm to translate software requirements written in Z specifications to Delphi/SQL code. The approach transforms Z specifications to executable code via a set of formal rules and Delphi/SQL libraries. The libraries can be predefined or user-defined. The soundness of the translation process is examined by data refinement.

Published in:

Information Management and Engineering (ICIME), 2010 The 2nd IEEE International Conference on

Date of Conference:

16-18 April 2010