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

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