Аналіз і синтез архітектури складних апаратних і програмних систем

Simple item page
dc.citation.epage13
dc.citation.issue522 : Комп’ютерні системи проектування. Теорія і практика
dc.citation.journalTitleВісник Національного університету “Львівська політехніка”
dc.citation.spage8
dc.contributor.affiliationНаціональний університет “Львівська політехніка”
dc.contributor.authorКорпильов, Д. В.
dc.contributor.authorТкаченко, С. П.
dc.contributor.authorСвірідова, Т. В.
dc.coverage.placenameЛьвів
dc.coverage.placenameLviv
dc.date.accessioned2020-03-23T07:48:49Z
dc.date.available2020-03-23T07:48:49Z
dc.date.created2004-02-18
dc.date.issued2004-02-18
dc.description.abstractПроаналізовано актуальну тему синтезу архітектури програмних і апаратних систем, моделювання й верифікацію розроблювальних програмних систем.
dc.description.abstractIn this paper overview of architecture synthesis, modeling and verification of developed software and hardware systems are presented.
dc.format.extent8-13
dc.format.pages6
dc.identifier.citationКорпильов Д. В. Аналіз і синтез архітектури складних апаратних і програмних систем / Д. В. Корпильов, С. П. Ткаченко, Т. В. Свірідова // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2004. — № 522 : Комп’ютерні системи проектування. Теорія і практика. — С. 8–13.
dc.identifier.citationenKorpilov 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.
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/47572
dc.language.isouk
dc.publisherВидавництво Національного університету “Львівська політехніка”
dc.relation.ispartofВісник Національного університету “Львівська політехніка”, 522 : Комп’ютерні системи проектування. Теорія і практика, 2004
dc.relation.references1. D.Garlan, D.E. Perry. IEEE Transactions on Software Engineering. Vol. 21, No. 4, 1995, pp. 269-274.
dc.relation.references2. IEEE, IEEE Standard VHDL Language Reference Manual, IEEE Standard 1076-1987, Mar. 1987.
dc.relation.references3. D.E. Thomas and P.R. Moorby. The Verilog Hardware Description Language. - New York: Kluwer-Academic, 1991.
dc.relation.references4. Крон Г. Исследование сложных систем по частям (диакоптика). -М.: Наука, 1972.
dc.relation.references5. Михалевич В.С., Волкович В.Л. Вычислительные методы исследования и проектирования сложных систем. - М.: Наука, 1982.
dc.relation.references6. Молчанов А. А. Моделирование и проектирование сложных систем. - К.: Выща гик., 1988.
dc.relation.references7. В.А. Селютин, Машинное проектирование электронных устройств. - М.: Сов. Радио, 1977.
dc.relation.references8. Г. Буч, Д. Рамбо, А.Джскобсон, Язык UML. Руководство пользователя: - М. : ДМК, 2000.
dc.relation.references9. Г Буч, Объектно-ориентированный анализ и проектирование с примерами приложений на C++. - 2-е изд. (Пер. с англ.). - М.; СПб, 1998. 10. Д. Корпильов, С. Ткаченко, Об ’єктно-орієнтована методологія розробки середовища САПР Гібридних інтегральних схем “TOPOS” // Вісник держ. ун-ту “Львіська політехніка”. “Радіоелектроніка та телекомунікації”. Львів 2000. № 387
dc.relation.referencesen1. D.Garlan, D.E. Perry. IEEE Transactions on Software Engineering. Vol. 21, No. 4, 1995, pp. 269-274.
dc.relation.referencesen2. IEEE, IEEE Standard VHDL Language Reference Manual, IEEE Standard 1076-1987, Mar. 1987.
dc.relation.referencesen3. D.E. Thomas and P.R. Moorby. The Verilog Hardware Description Language, New York: Kluwer-Academic, 1991.
dc.relation.referencesen4. Kron H. Issledovanie slozhnykh sistem po chastiam (diakoptika). -M., Nauka, 1972.
dc.relation.referencesen5. Mikhalevich V.S., Volkovich V.L. Vychislitelnye metody issledovaniia i proektirovaniia slozhnykh sistem, M., Nauka, 1982.
dc.relation.referencesen6. Molchanov A. A. Modelirovanie i proektirovanie slozhnykh sistem, K., Vyshcha hik., 1988.
dc.relation.referencesen7. V.A. Seliutin, Mashinnoe proektirovanie elektronnykh ustroistv, M., Sov. Radio, 1977.
dc.relation.referencesen8. H. Buch, D. Rambo, A.Dzhskobson, Iazyk UML. Rukovodstvo polzovatelia: - M. : DMK, 2000.
dc.relation.referencesen9. H Buch, Obektno-oryentyrovannyi analyz y proektyrovanye s prymeramy prylozhenyi na C++, 2-e yzd. (transl. from English), M.; SPb, 1998. 10. D. Korpylov, S. Tkachenko, Ob yektno-oriientovana metodolohiia rozrobky seredovyshcha SAPR Hibrydnykh intehralnykh skhem "TOPOS", Visnyk derzh. un-tu "Lviska politekhnika". "Radioelektronika ta telekomunikatsii". Lviv 2000. No 387
dc.rights.holder© Національний університет “Львівська політехніка”, 2004
dc.rights.holder© Корпильов Д. В., Ткаченко С. П., Свірідова Т. В., 2004
dc.subject.udc681.3.049
dc.titleАналіз і синтез архітектури складних апаратних і програмних систем
dc.typeArticle

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
2004n522_Korpilov_D_V-Analiz_i_syntez_arkhitektury_8-13.pdf
Size:
424.61 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
2004n522_Korpilov_D_V-Analiz_i_syntez_arkhitektury_8-13__COVER.png
Size:
458.58 KB
Format:
Portable Network Graphics
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3 KB
Format:
Plain Text
Description:
Download

Collections

Комп'ютерні системи проектування теорія і практика. – 2004. – №522