8-9 October 2020 • Burgas, Bulgaria

Submission: 15 May 2020 • Notification: 31 May 2020 • Final Version: 15 June 2020

Issue:Correctness of a formal generalized net project of a class of an object-oriented program

From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Jump to: navigation, search
shortcut
http://ifigenia.org/wiki/issue:iwgn-12-73-78
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_magdaAt sign.pnghotmail.com
Presented at: 12th IWGN, Burgas, 17 June 2012
Published in: Conference proceedings, pages 73—78
Download: Download-icon.png PDF (100  Kb, Info) Download-icon.png
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:
  1. Atanassov, K., Generalized Nets, World Scientific, Singapore, 1991.
  2. Atanassov, K., On Generalized Nets Theory, “Prof. Marin Drinov” Academic Publishing House, Sofia, 2007.
  3. 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.
  4. Meyer, B., Applying Design by Contract, IEEE Computer 25(10), Oct. 1992, pp. 40–51.
  5. Meyer, B., Object-Oriented Software Construction, 2nd edition, ISE Inc. Santa Barbara, California, 1997.
  6. 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.