Системи специфiкацiй об’єктно-орiєнтованих програм над номiнативними даними

Журнал: 
Страница: 
43
УДК: 
681.3.06
Основываясь на композиционно-номинативном методе уточнения понятия программы, аксиоматической системе спецификаций программ над номинативных данным, секвенциальные многочисленные композиционно номинативных логик и языке Object-Z построено прототип аксиоматической системы спецификаций программ над номинативных данными (OBJ-NDSL).
info_eng: 
Today the problem of fast and economical design of reliable software is up to date. For a quick and economical design of reliable software is possible to apply formal methods of software specifications. Formal methods allow to prove some properties of programs using mathematical methods. Specifications program should include a description of program goals, functional program structure, input application program output. Problem improving the adequacy of representation of data structures, functions, and compositions used in programming is important.