Буров, Є. В.2020-10-202020-10-202002-03-262002-03-26Буров Є. В. Специфікація мережі прототипів для САПР розподіленої інформаційної системи / Є. В. Буров // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2002. — № 464 : Інформаційні системи та мережі. — С. 12–18.https://ena.lpnu.ua/handle/ntb/54828Прототипування - це один з етапів проектування розподілених інформаційних систем, під час якого проектувальник постійно порівнює параметри проектованої системи з параметрами існуючих типових вирішень. Запропоновано систему формальних специфікацій для підтримки вирішення цієї задачі.Prototyping is another stage in distributed System design. In this stage System designer must take several decisions as to architecture and technical solutions to use. While doing so, he constantly compares the parameters of current Systems with parameters of known solutions and tries to ftnd the most fitting one. In this paper formai spécification to assist those tasks are proposed.12-18ukArticle© Національний університет “Львівська політехніка”, 2002© Буров Є. В., 20027681.518681.327.8Burov Ye. V. Spetsyfikatsiia merezhi prototypiv dlia SAPR rozpodilenoi informatsiinoi systemy / Ye. V. Burov // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2002. — No 464 : Informatsiini systemy ta merezhi. — P. 12–18.