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

Call for Papers for the 27th International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.

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:  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.