Корпильов, Д. В.Ткаченко, С. П.Свірідова, Т. В.2020-03-232020-03-232004-02-182004-02-18Корпильов Д. В. Аналіз і синтез архітектури складних апаратних і програмних систем / Д. В. Корпильов, С. П. Ткаченко, Т. В. Свірідова // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2004. — № 522 : Комп’ютерні системи проектування. Теорія і практика. — С. 8–13.https://ena.lpnu.ua/handle/ntb/47572Проаналізовано актуальну тему синтезу архітектури програмних і апаратних систем, моделювання й верифікацію розроблювальних програмних систем.In this paper overview of architecture synthesis, modeling and verification of developed software and hardware systems are presented.8-13ukАналіз і синтез архітектури складних апаратних і програмних системArticle© Національний університет “Львівська політехніка”, 2004© Корпильов Д. В., Ткаченко С. П., Свірідова Т. В., 20046681.3.049Korpilov D. V. Analiz i syntez arkhitektury skladnykh aparatnykh i prohramnykh system / D. V. Korpylov, S. P. Tkachenko, T. V. Sviridova // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2004. — No 522 : Kompiuterni systemy proektuvannia. Teoriia i praktyka. — P. 8–13.