A survey on formal, object-oriented program development approaches
Sábháilte in:
| Foilsithe in: | Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical vol. 22, no. 3 (2015), p. 1001-1017 |
|---|---|
| Príomhchruthaitheoir: | |
| Rannpháirtithe: | , |
| Foilsithe / Cruthaithe: |
Sharif University of Technology
|
| Ábhair: | |
| Rochtain ar líne: | Citation/Abstract Full Text Full Text - PDF |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| Achoimre: | 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 specifications. The secondary contribution is providing a comparison between widely used object-oriented formal specification languages. The results of this paper can be utilized by researchers wishing to know what open problems are outstanding in the areas of formal, object-oriented specification and program development. Our findings are also useful for those who are looking for proper specification 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 specification 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 specification 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. |
|---|---|
| Foinse: | Advanced Technologies & Aerospace Database |