A survey on formal, object-oriented program development approaches
I tiakina i:
| I whakaputaina i: | Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical vol. 22, no. 3 (2015), p. 1001-1017 |
|---|---|
| Kaituhi matua: | |
| Ētahi atu kaituhi: | , |
| I whakaputaina: |
Sharif University of Technology
|
| Ngā marau: | |
| Urunga tuihono: | Citation/Abstract Full Text Full Text - PDF |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 1703436736 | ||
| 003 | UK-CbPIL | ||
| 035 | |a 1703436736 | ||
| 045 | 2 | |b d20150601 |b d20150731 | |
| 084 | |a 118415 |2 nlm | ||
| 100 | 1 | |a Naja, M | |
| 245 | 1 | |a A survey on formal, object-oriented program development approaches | |
| 260 | |b Sharif University of Technology |c 2015 | ||
| 513 | |a Feature | ||
| 520 | 3 | |a 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. | |
| 653 | |a Polls & surveys | ||
| 653 | |a Computer programming | ||
| 653 | |a C language | ||
| 653 | |a Studies | ||
| 700 | 1 | |a Haghighi, H | |
| 700 | 1 | |a Nasab, T Zohdi | |
| 773 | 0 | |t Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical |g vol. 22, no. 3 (2015), p. 1001-1017 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/1703436736/abstract/embedded/09EF48XIB41FVQI7?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text |u https://www.proquest.com/docview/1703436736/fulltext/embedded/09EF48XIB41FVQI7?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/1703436736/fulltextPDF/embedded/09EF48XIB41FVQI7?source=fedsrch |