?
Algebraic Models of Digital System Design Debugging Decomposition
P. 248-251.
В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиция, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.