Запропоновано засоби для представлення складних нечітко визначених підсистем та модулів на рівні об’єктно-орієнтованої програмної архітектури. Розглянуто способи введення нечіткості в діаграмах класів UML, що є основою ...

Предложен ориентированный на верификацию язык C-light, который является представительным подмножеством языка С. Важные отличительные черты языка С-light — это детерминированная семантика выражений, ограниченное использование ...

Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані ...