Формальні моделі в об’єктно-орієнтованій парадигмі
| dc.citation.epage | 158 | |
| dc.citation.issue | 464 : Інформаційні системи та мережі | |
| dc.citation.journalTitle | Вісник Національного університету “Львівська політехніка” | |
| dc.citation.spage | 147 | |
| dc.contributor.affiliation | Харківський національний університет радіоелектроніки | |
| dc.contributor.author | Ковальов, С. О. | |
| dc.coverage.placename | Львів | |
| dc.coverage.placename | Lviv | |
| dc.date.accessioned | 2020-10-20T10:30:13Z | |
| dc.date.available | 2020-10-20T10:30:13Z | |
| dc.date.created | 2002-03-26 | |
| dc.date.issued | 2002-03-26 | |
| dc.description.abstract | Наведено спробу формалізації семантики об'єктно-орієнтовної парадигми засобами перетворювачів предикатів, багатовимірного простору, простору станів обчислювань. | |
| dc.description.abstract | Attempt to formalize semantics of object-oriented paradigm is given. There are used predicate transformers, multidimensional spaces, spaces of states. | |
| dc.format.extent | 147-158 | |
| dc.format.pages | 12 | |
| dc.identifier.citation | Ковальов С. О. Формальні моделі в об’єктно-орієнтованій парадигмі / С. О. Ковальов // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2002. — № 464 : Інформаційні системи та мережі. — С. 147–158. | |
| dc.identifier.citationen | Kovalov S. O. Formalni modeli v obiektno-oriientovanii paradyhmi / S. O. Kovalov // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2002. — No 464 : Informatsiini systemy ta merezhi. — P. 147–158. | |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/54814 | |
| dc.language.iso | uk | |
| dc.publisher | Видавництво Національного університету “Львівська політехніка” | |
| dc.relation.ispartof | Вісник Національного університету “Львівська політехніка”, 464 : Інформаційні системи та мережі, 2002 | |
| dc.relation.references | 1. Ковалев С.А. Подход к выделению иерархических структур из словаря данных //Вестник ХПИ. В печати. | |
| dc.relation.references | 2. Айвазян С. А., Бежаева 3. И., Староверов О. В Классификация многомерных наблюдений. - М.: Статистика, 1974. - 239 с. | |
| dc.relation.references | 3. Ідентифікація класів - пошук Грааля? /С О. Ковальов //Радіоелектроніка та інформатика. 2002. Nel. С.119-123 | |
| dc.relation.references | 4. Вирт Н. Алгоритмы+структуры данных = программы /Пер. с англ. Д. Б. Подшивалова. - М.: Мир, 1978. - 280 с. | |
| dc.relation.references | 5. Пратт Т. Языки программирования: разработка и реализация /Пер. с англ. Под ред. Ю. М. Баяковского. - М.: Мир, 1979. - 576 с. | |
| dc.relation.references | 6. Лавров С. С. Основные понятия и конструкции языков программирования. - М. Финансы и статистика, 1982. - 80 с. | |
| dc.relation.references | 7. Дейкстра Э. Дисциплина программирования. - М.: Мир, 1978. - 274 с. | |
| dc.relation.references | 8. Андерсон Р. Доказательство правильности программ /Пер. с англ, под ред. Д.Б. Подшивапова. - М.: Мир, 1982. - 168 с. | |
| dc.relation.references | 9. Хоор Ч. Э. Р. Непротиворечивые взаимодополняющие теории семантики языков программирования //Семантика языков программирования. Сборник статей. - М.: Мир, 1980. С. 196-221 | |
| dc.relation.references | 10. Абрамов С. А. Элементы анализа программ. Частичные функции на множестве состояний. - М.: Наука. Гл. ред. физ. - мат. лит., 1986. - 128 с. | |
| dc.relation.references | 11. ДонахуДж. Взаимодополняющие определения семантики языка программирования //Семантика языков программирования. Сборник статей. - М.: Мир, 1980. С. 222-394 | |
| dc.relation.references | 12. Элиенс А. Принципы объектно-ориентированной разработки программ. 2-е издание.: Пер. с англ. - М.: Издательский дом «Вильямс», 2002. - 496 с. | |
| dc.relation.references | 13. Калинин А. Г., Мацкевич И. В. Универсальные языки программирования. Семантический подход. - М.: Радио и связь, 1991. - 400 с. | |
| dc.relation.references | 14. Лавров С. С. Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001. - 320 с. | |
| dc.relation.references | 15. Себеста Р. У. Основные концепции языков программирования. 5-е изд.: Пер. с англ. - М.: Издательский дом «Вильямс», 2001. - 672 с. | |
| dc.relation.referencesen | 1. Kovalev S.A. Podkhod k vydeleniiu ierarkhicheskikh struktur iz slovaria dannykh //Vestnik KhPI. V pechati. | |
| dc.relation.referencesen | 2. Aivazian S. A., Bezhaeva 3. I., Staroverov O. V Klassifikatsiia mnohomernykh nabliudenii, M., Statistika, 1974, 239 p. | |
| dc.relation.referencesen | 3. Identyfikatsiia klasiv - poshuk Hraalia? /S O. Kovalov //Radioelektronika ta informatyka. 2002. Nel. P.119-123 | |
| dc.relation.referencesen | 4. Virt N. Alhoritmy+struktury dannykh = prohrammy /transl. from English D. B. Podshivalova, M., Mir, 1978, 280 p. | |
| dc.relation.referencesen | 5. Pratt T. Iazyki prohrammirovaniia: razrabotka i realizatsiia /transl. from English ed. Iu. M. Baiakovskoho, M., Mir, 1979, 576 p. | |
| dc.relation.referencesen | 6. Lavrov S. S. Osnovnye poniatiia i konstruktsii iazykov prohrammirovaniia, M. Finansy i statistika, 1982, 80 p. | |
| dc.relation.referencesen | 7. Deikstra E. Distsiplina prohrammirovaniia, M., Mir, 1978, 274 p. | |
| dc.relation.referencesen | 8. Anderson R. Dokazatelstvo pravilnosti prohramm /Per. s anhl, ed. D.B. Podshivapova, M., Mir, 1982, 168 p. | |
| dc.relation.referencesen | 9. Khoor Ch. E. R. Neprotivorechivye vzaimodopolniaiushchie teorii semantiki iazykov prohrammirovaniia //Semantika iazykov prohrammirovaniia. Sbornik statei, M., Mir, 1980. P. 196-221 | |
| dc.relation.referencesen | 10. Abramov S. A. Elementy analiza prohramm. Chastichnye funktsii na mnozhestve sostoianii, M., Nauka. Hl. red. fiz, mat. lit., 1986, 128 p. | |
| dc.relation.referencesen | 11. DonakhuDzh. Vzaimodopolniaiushchie opredeleniia semantiki iazyka prohrammirovaniia //Semantika iazykov prohrammirovaniia. Sbornik statei, M., Mir, 1980. P. 222-394 | |
| dc.relation.referencesen | 12. Eliens A. Printsipy obieektno-orientirovannoi razrabotki prohramm. 2-e izdanie., transl. from English - M., Izdatelskii dom "Viliams", 2002, 496 p. | |
| dc.relation.referencesen | 13. Kalinin A. H., Matskevich I. V. Universalnye iazyki prohrammirovaniia. Semanticheskii podkhod, M., Radio i sviaz, 1991, 400 p. | |
| dc.relation.referencesen | 14. Lavrov S. S. Prohrammirovanie. Matematicheskie osnovy, sredstva, teoriia, SPb., BKhV-Peterburh, 2001, 320 p. | |
| dc.relation.referencesen | 15. Sebesta R. U. Osnovnye kontseptsii iazykov prohrammirovaniia. 5-e izd., transl. from English - M., Izdatelskii dom "Viliams", 2001, 672 p. | |
| dc.rights.holder | © Національний університет “Львівська політехніка”, 2002 | |
| dc.rights.holder | © Ковальов С. О., 2002 | |
| dc.subject.udc | 681.3.06 | |
| dc.subject.udc | 519.7 | |
| dc.title | Формальні моделі в об’єктно-орієнтованій парадигмі | |
| dc.type | Article |
Files
License bundle
1 - 1 of 1