Submit your research to the International Journal "Notes on Intuitionistic Fuzzy Sets". Contact us at nifs.journal@gmail.com

Call for Papers for the 25th Jubilee Edition of the International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 9–10 September 2022 • Deadline for submission: 30 May 2022.

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 Jump to 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_magda@hotmail.com
Presented at: 12th IWGN, Burgas, 17 June 2012
Published in: Conference proceedings, pages 73—78
Download: Download-icon.png PDF (100  Kb, 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:
  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.