Буров, Є. В.2015-10-212015-10-212004Буров Є. В. Система формальних специфікацій для конфігурування розподіленої інформаційної системи / Є. В. Буров // Вісник Національного університету «Львівська політехніка». – 2004. – № 519 : Інформаційні системи та мережі. – С. 29–37. – Бібліографія: 7 назв.https://ena.lpnu.ua/handle/ntb/29818Запропоновано формальні специфікації для автоматизації проектування та конфігурування розподіленої інформаційної системи. This paper proposes formai spécifications for automatic design and configuration of complex corporative information system.uaArticle