COMPOSITION - NOMINATIVE SPECIFICATION LANGUAGES OF THE OBJECT - ORIENTED PROGRAMS

Abstract

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.

Keywords

• composition programming
• formal method
• object-oriented programming
• software
• verification
• system specification