Пректна документація - це своєрідна модель судна і тому є цілком природним розглядати процеси, що відбуваються під час пректування суден, з точки зору моделювання. Показано, що проект можна розглянути не тільки як модель-опис судна, але й як модель-інтерпритацію деякої структурної теорії проектування. Для вирішення проблем формулювання і дослідження такої теорії запропоновано застосувати апарат математичної логіки.

Управляющие системы и машины [Текст] : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — статьи публ.на русск.укр. и англ .яз. — К.

• УДК // Водні засоби транспорту. Плавучі засоби. Суднобудування