https://oldena.lpnu.ua/handle/ntb/54814| Title: | Формальні моделі в об’єктно-орієнтованій парадигмі |
| Authors: | Ковальов, С. О. |
| Affiliation: | Харківський національний університет радіоелектроніки |
| Bibliographic description (Ukraine): | Ковальов С. О. Формальні моделі в об’єктно-орієнтованій парадигмі / С. О. Ковальов // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2002. — № 464 : Інформаційні системи та мережі. — С. 147–158. |
| Bibliographic description (International): | 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. |
| Is part of: | Вісник Національного університету “Львівська політехніка”, 464 : Інформаційні системи та мережі, 2002 |
| Journal/Collection: | Вісник Національного університету “Львівська політехніка” |
| Issue: | 464 : Інформаційні системи та мережі |
| Issue Date: | 26-Mar-2002 |
| Publisher: | Видавництво Національного університету “Львівська політехніка” |
| Place of the edition/event: | Львів Lviv |
| UDC: | 681.3.06 519.7 |
| Number of pages: | 12 |
| Page range: | 147-158 |
| Start page: | 147 |
| End page: | 158 |
| Abstract: | Наведено спробу формалізації семантики об'єктно-орієнтовної парадигми засобами перетворювачів предикатів, багатовимірного простору, простору станів обчислювань. Attempt to formalize semantics of object-oriented paradigm is given. There are used predicate transformers, multidimensional spaces, spaces of states. |
| URI: | https://ena.lpnu.ua/handle/ntb/54814 |
| Copyright owner: | © Національний університет “Львівська політехніка”, 2002 © Ковальов С. О., 2002 |
| References (Ukraine): | 1. Ковалев С.А. Подход к выделению иерархических структур из словаря данных //Вестник ХПИ. В печати. 2. Айвазян С. А., Бежаева 3. И., Староверов О. В Классификация многомерных наблюдений. - М.: Статистика, 1974. - 239 с. 3. Ідентифікація класів - пошук Грааля? /С О. Ковальов //Радіоелектроніка та інформатика. 2002. Nel. С.119-123 4. Вирт Н. Алгоритмы+структуры данных = программы /Пер. с англ. Д. Б. Подшивалова. - М.: Мир, 1978. - 280 с. 5. Пратт Т. Языки программирования: разработка и реализация /Пер. с англ. Под ред. Ю. М. Баяковского. - М.: Мир, 1979. - 576 с. 6. Лавров С. С. Основные понятия и конструкции языков программирования. - М. Финансы и статистика, 1982. - 80 с. 7. Дейкстра Э. Дисциплина программирования. - М.: Мир, 1978. - 274 с. 8. Андерсон Р. Доказательство правильности программ /Пер. с англ, под ред. Д.Б. Подшивапова. - М.: Мир, 1982. - 168 с. 9. Хоор Ч. Э. Р. Непротиворечивые взаимодополняющие теории семантики языков программирования //Семантика языков программирования. Сборник статей. - М.: Мир, 1980. С. 196-221 10. Абрамов С. А. Элементы анализа программ. Частичные функции на множестве состояний. - М.: Наука. Гл. ред. физ. - мат. лит., 1986. - 128 с. 11. ДонахуДж. Взаимодополняющие определения семантики языка программирования //Семантика языков программирования. Сборник статей. - М.: Мир, 1980. С. 222-394 12. Элиенс А. Принципы объектно-ориентированной разработки программ. 2-е издание.: Пер. с англ. - М.: Издательский дом «Вильямс», 2002. - 496 с. 13. Калинин А. Г., Мацкевич И. В. Универсальные языки программирования. Семантический подход. - М.: Радио и связь, 1991. - 400 с. 14. Лавров С. С. Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001. - 320 с. 15. Себеста Р. У. Основные концепции языков программирования. 5-е изд.: Пер. с англ. - М.: Издательский дом «Вильямс», 2001. - 672 с. |
| References (International): | 1. Kovalev S.A. Podkhod k vydeleniiu ierarkhicheskikh struktur iz slovaria dannykh //Vestnik KhPI. V pechati. 2. Aivazian S. A., Bezhaeva 3. I., Staroverov O. V Klassifikatsiia mnohomernykh nabliudenii, M., Statistika, 1974, 239 p. 3. Identyfikatsiia klasiv - poshuk Hraalia? /S O. Kovalov //Radioelektronika ta informatyka. 2002. Nel. P.119-123 4. Virt N. Alhoritmy+struktury dannykh = prohrammy /transl. from English D. B. Podshivalova, M., Mir, 1978, 280 p. 5. Pratt T. Iazyki prohrammirovaniia: razrabotka i realizatsiia /transl. from English ed. Iu. M. Baiakovskoho, M., Mir, 1979, 576 p. 6. Lavrov S. S. Osnovnye poniatiia i konstruktsii iazykov prohrammirovaniia, M. Finansy i statistika, 1982, 80 p. 7. Deikstra E. Distsiplina prohrammirovaniia, M., Mir, 1978, 274 p. 8. Anderson R. Dokazatelstvo pravilnosti prohramm /Per. s anhl, ed. D.B. Podshivapova, M., Mir, 1982, 168 p. 9. Khoor Ch. E. R. Neprotivorechivye vzaimodopolniaiushchie teorii semantiki iazykov prohrammirovaniia //Semantika iazykov prohrammirovaniia. Sbornik statei, M., Mir, 1980. P. 196-221 10. Abramov S. A. Elementy analiza prohramm. Chastichnye funktsii na mnozhestve sostoianii, M., Nauka. Hl. red. fiz, mat. lit., 1986, 128 p. 11. DonakhuDzh. Vzaimodopolniaiushchie opredeleniia semantiki iazyka prohrammirovaniia //Semantika iazykov prohrammirovaniia. Sbornik statei, M., Mir, 1980. P. 222-394 12. Eliens A. Printsipy obieektno-orientirovannoi razrabotki prohramm. 2-e izdanie., transl. from English - M., Izdatelskii dom "Viliams", 2002, 496 p. 13. Kalinin A. H., Matskevich I. V. Universalnye iazyki prohrammirovaniia. Semanticheskii podkhod, M., Radio i sviaz, 1991, 400 p. 14. Lavrov S. S. Prohrammirovanie. Matematicheskie osnovy, sredstva, teoriia, SPb., BKhV-Peterburh, 2001, 320 p. 15. Sebesta R. U. Osnovnye kontseptsii iazykov prohrammirovaniia. 5-e izd., transl. from English - M., Izdatelskii dom "Viliams", 2001, 672 p. |
| Content type: | Article |
| Appears in Collections: | Інформаційні системи та мережі. – 2002. – №464 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2002n464_Kovalov_S_O-Formalni_modeli_v_obiektno_147-158.pdf | 607 kB | Adobe PDF | View/Open | |
| 2002n464_Kovalov_S_O-Formalni_modeli_v_obiektno_147-158__COVER.png | 2.63 MB | image/png | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.