Impact Factor :
1.025
Q1(Year 2015)
ISSN : 1026-3098
e-ISSN : 2345-3605
View Paper Details
Download Link :
( 598 Visit ) ( 553 Download )
Publication Information : Volume 22 - Number 3 - Successive Number 3
Type : Article
Topics of Paper : Transactions on Computer Science & Engineering
English Title : A survey on formal, object-oriented program development approaches
English Abstract : Due to the popularity of object-oriented programming approaches, there is a growing interest in utilizing object-oriented concepts, such as encapsulation and reuse, when applying formal methods. The main contribution of this paper is to review and compare existing formal methods to develop object-oriented programs from formal speci cations. The secondary contribution is providing a comparison between widely used object-oriented formal speci cation languages. The results of this paper can be utilized by researchers wishing to know what open problems are outstanding in the areas of formal, objectoriented speci cation and program development. Our ndings are also useful for those who are looking for proper speci cation languages and program development methods to specify and develop object-oriented programs formally. In addition, the provided criteria are suitable for evaluating numerous object-oriented formal speci cation languages that are under development, either by extending existing formal approaches or formalizing informal OO-methods. As one consequence of this work, it can be mentioned that among formal speci cation languages, OZ and VDM++ support OO concepts more strongly in comparison to VDM++ and UML-B. Program development methods based on OZ have less tool support. Finally, most proposed methods for formal, object-oriented program development have been evaluated using only case studies, rather than employing formal approaches.
English Keywords : Formal program development;Object-orientation; Formal speci cation; Object-Z; VDM;VDM++; B; Event-B; UML-B.
Refrences :
Number Of Pages :
From 1001 to 1017


Authors :
The AuthorAuthor SequenceOrganizationOrganization ( english )AffiliationEmailEducation
M. Najafi
(Author)
1Faculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, Iran    
Dr. H. Haghighi 2Faculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, Iran Assistant professor  
T. Zohdi Nasab 3Faculty of Electrical and Computer Engineering, Shahid Beheshti University G.C., Tehran, Iran    
Published Issues
2017
Transactions on Civil Engineering
Transactions on Mechanical Engineering
Transactions on Industrial Engineering
2016
2015
Transactions on Civil Engineering
Transactions on Mechanical Engineering
Transactions on Chemistry and Chemical Engineering
Transactions on Computer Science & Engineering and Electrical Engineering
Transactions on Industrial Engineering
Transactions on Nanotechnology
2014
Transactions on Civil Engineering
Transactions on Mechanical Engineering
Transactions on Chemistry and Chemical Engineering
Transactions on Computer Science & Engineering and Electrical Engineering
Transactions on Industrial Engineering
Transactions on Nanotechnology
2013
Transactions on Civil Engineering
Transactions on Mechanical Engineering
Transactions on Chemistry and Chemical Engineering
Transactions on Computer Science & Engineering and Electrical Engineering
Transactions on Industrial Engineering
Transactions on Nanotechnology

Scientia Iranica All Rights Reserved.
© 2014 - Journal Management System. Powered by ADAK Co