COMPOSITION - NOMINATIVE SPECIFICATIONLANGUAGES OF THE OBJECT - ORIENTED PROGRAMS

European Cooperation

Liudmyla Omelchuk¹ 

[1] Taras Shevchenko National University of Kyiv;

关键词: composition programming;    formal method;    object-oriented programming;    software;    verification;    system specification;   

DOI  :  

来源: DOAJ

【 摘 要 】

In the paper it is developed and grounded the new approaches to building of axiomatic systems of non-determined program specifications. Based on the composition-nominative method of refinement of the concept of program, axiomatic system of software specifications over the nominative data, sequential calculation of the composition-nominative logics and language Object-Z the prototype of axiomatic system of program specifications over nominative data (NDSL++) is built. System NDSL++ allows to prove certain features of the programs. Thus it is demonstrated that the composition-nominative approach can be effectively used for building axiomatic system of program specifications (including object-oriented) over nominative data, which quite adequately meets the problems of programming. 

【 授权许可】

Unknown