| Title of paper:
|
Correctness of a formal generalized net project of a class of an object-oriented program
|
| Author(s):
|
| Magdalina Todorova
|
| Faculty of Mathematics and Informatics, Sofia University, 5 “J. Bouchier” Str., Sofia, Bulgaria
|
| todorova_magda@hotmail.com
|
|
| Presented at:
|
12th IWGN, Burgas, 17 June 2012
|
| Published in:
|
Conference proceedings, pages 73—78
|
| Download:
|
 PDF (100 Kb, File info)
|
| Abstract:
|
The article defines formal generalized net project of a class, correctness of a formal generalized net project of a class in respect to a defined for it specification and correspondence of the formal generalized net project to the class realization. A theorem is formulated to define criteria for correctness of a formal generalized net project of a class in respect to the defined for it specification.
|
| Keywords:
|
Generalized nets, Object-oriented programming, Program correctness, Мodeling, Verification.
|
| AMS Classification:
|
68Q85, 68N19.
|
| References:
|
- Atanassov, K., Generalized Nets, World Scientific, Singapore, 1991.
- Atanassov, K., On Generalized Nets Theory, “Prof. Marin Drinov” Academic Publishing House, Sofia, 2007.
- Kaloyanova, K., Design from data: how to use requirements for better information system analysis and design, Proc. of the Int. Conference Informatics in Scientific Knowledge, Varna, Bulgaria, June 26–29, 2012, 189–197.
- Meyer, B., Applying Design by Contract, IEEE Computer 25(10), Oct. 1992, pp. 40–51.
- Meyer, B., Object-Oriented Software Construction, 2nd edition, ISE Inc. Santa Barbara, California, 1997.
- Todorova, M., Construction of Correct Object-Orientated Programs via Building their Generalized Nets Models, Annual of “Informatics” Section, Union of Scientists in Bulgaria, Vol. 4, 2011, 1–28.
|
| Citations:
|
The list of publications, citing this article may be empty or incomplete. If you can provide relevant data, please, write on the talk page.
|
|
