Correctness of the formal generalized net project of the connections between procedural program functions
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
The article presents definitions of a formal generalized net project of theconnections between procedural program functions, correctness of this model accordingto a specification, and correspondence of the formal generalized net project of theconnections between procedural program functions with the implementation of theprogram. A theorem is formulated to define a correctness criterion of a generalized netproject of the connections between procedural program functions with respect to adefined for it specification.
Abstract
The article presents definitions of a formal generalized net project of theconnections between procedural program functions, correctness of this model accordingto a specification, and correspondence of the formal generalized net project of theconnections between procedural program functions with the implementation of theprogram. A theorem is formulated to define a correctness criterion of a generalized netproject of the connections between procedural program functions with respect to adefined for it specification.
참고문헌 (8)
- M. Todorova, "Verification of Procedural Programs via Building there Generalized Nets Models", Proceedings of the 41th Spring Conference of the Union of Bulgarian Mathematicians, pp.259~265 (2012), Mathematics and Education in Mathematics
- M. Todorova, "Implementation of an Approach for Verification of Procedural Programs", GSTF: International Journal on Computing, 2(2), pp.70~75 (2012)
- B. Meyer, "Applying Design by Contract", IEEE Computer, 25(10), pp.40~51 (1992)
- B. Meyer, "Object-Oriented Software Construction" (1997), ISE Inc
- K. Atanassov, "On Generalized Nets Theory" (2007), Prof. Marin Drinov Academic Publishing House
- V. Atanassova, "Design of Training Tests on Generalized Nets", Proc. of the 5th IEEE Int. Conf. on Intelligent Systems, pp.327~330 (2010)
- V. Atanassova, "Chapter 5: Generalized Nets, ACO Algorithms, and Genetic Algorithms, In Monte Carlo Methods and Applications", pp.39~46 (2011), De Gruyter
- C.A.R. Hoare, "An axiomatic basis for computer programming", Communications of the ACM, 12(10), pp.576~585 (1969)