Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/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: http://ena.lp.edu.ua:8080/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



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.