Библиографическое описание:Иванников, А. Д. Анализ методов декомпозиции задачи отладки проектов цифровых систем / А. Д. Иванников. - (Системы автоматизированного проектирования). - Текст : непосредственный // Информационные технологии. - 2016. - Т. 22, № 10. - С. 758-763. - Библиогр.: с. 763 (5 назв.). - ISSN 1684-6400.
Аннотация:В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.
