Омельчук Л. Л.

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

Журнал: 
Страница: 
43
Основываясь на композиционно-номинативном методе уточнения понятия программы, аксиоматической системе спецификаций программ над номинативных данным, секвенциальные многочисленные композиционно номинативных логик и языке Object-Z построено прототип аксиоматической системы спецификаций программ над номинативных данными (OBJ-NDSL).