Шинкаренко, В.И.; Ильман, В.М.; Скалозуб, В.В.
(Кибернетика и системный анализ, 2009)
Формалізовано відносини між алгоритмами, які виражені різними засобами і виконуються різними пристроями. Процес розробки програмного забезпечення розглянуто з позиції міжмодельних перетворень. Проаналізовано можливості ...