Складові частини документа:

• Демаков А. В. Объектно-ориентированное описание графовых структур данных. - . - ,
• Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. - . - ,
• Бурдонова, И. Б., Косачев А. С., Кулямин В. В. Формализация тестового эксперимента. - . - ,
• Новосельцев В. Б. Синтез параллельных рекурсивных программ в структурах функциональных моделях. - . - ,
• Шопырин Д. Г., Шалыто А. А. Графическая нотация наследования автоматных классов. - . - ,