Алгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей

Simple item page
dc.citation.epage111
dc.citation.issue406 : Інформаційні системи та мережі
dc.citation.journalTitleВісник Національного університету “Львівська політехніка”
dc.citation.spage101
dc.contributor.affiliationЛьвівська комерційна академія
dc.contributor.authorЗахарія, Л. М.
dc.coverage.placenameЛьвів
dc.coverage.placenameLviv
dc.date.accessioned2020-03-27T08:42:36Z
dc.date.available2020-03-27T08:42:36Z
dc.description.abstractThe article contains investigation of metaalgebra, oriented on generation of algebraic and algorithmic formalisms connected with multilevel structured design method of algorithms and programs classes. For created metaalgebra sufficient criteria of functional completeness are established. Design process is oriented on creation of algorithmic knowledge used to generate algorithms as well as their classes. This knowledge together with definite relation types between them, which are being established at design time, puts together application domain algorithmic knowledge base. Array sortings knowledge base developed using such an approach is the basis of created SORT expert system.
dc.format.extent101-111
dc.format.pages11
dc.identifier.citationЗахарія Л. М. Алгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей / Л. М. Захарія // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2000. — № 406 : Інформаційні системи та мережі. — С. 101–111.
dc.identifier.citationenZakhariia L. M. Alhebro-hramatychni formalizmy avtomatyzatsii proektuvannia alhorytmichnykh znan predmetnykh oblastei / L. M. Zakhariia // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2000. — No 406 : Informatsiini systemy ta merezhi. — P. 101–111.
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/47961
dc.language.isouk
dc.publisherВидавництво Національного університету “Львівська політехніка”
dc.relation.ispartofВісник Національного університету “Львівська політехніка”, 406 : Інформаційні системи та мережі, 2000
dc.relation.references1. Цейтлин Г.Е. Теоретические и прикладные аспекты алгоритмики // УСИМ, 1995, N91/12.
dc.relation.references2. Цейтлин Г.Е. Критерий функциональной полноты // Кибернетика и системный анализ. 1995, №5.
dc.relation.references3. Цейтлин Г.Е. Поиск и сортировка, классификация, трансформация, синтез. //Автоматика и телемеханика, 1992, №4, с. 147-154, №5, с. 156-165.
dc.relation.references4. Цейтлин ГЕ.,Ющенко Е.Л. Формализированные спецификации и трансформационный синтез программ /2 Кибернетика и системный анализ. 1993, №1, С.127-152.
dc.relation.references5. Захарія В.П., Захарія Л.М., Тимців РА, Про реалізацію інструментарію багаторівневого структурного проектування програм на СМ-4// Тези доповіді респ. конф. иНадійність і якість програмного забезпечення”, Львів, 1985.
dc.relation.references6. Захарія В.П., Захарія Л.М., Технологія синтезу і відладки програм в системі Мультипроцесист СМ-4 // Тези доповідей 7-ї Всесоюз. школи-семінару “Паралельні програми і високопродуктивні системи”, Київ, Ін-т кібернетики, 1986.
dc.relation.references7. Захарія В.П, Захарія Л.М., Інструментарій синтезу програм для міні- і мікро ЕОМ// Кібернетика. 1989, N96.
dc.relation.references8. Захарія Л.М., Формалізоване проектування баз знань // Матеріали науково-дослідн. роботи проф.-викл. складу Львівської комерційної академії. 1996.
dc.relation.references9. Захарія Л.М., Терзян Т.К, Цейтлін ПО., Інструментарій конструювання експертних систем символьної обробки даних // Математичні машини та системи. 1997, Nel.
dc.relation.references10. Захарія Л.М., Засоби конструювання алгоритмічних знань на прикладі сортування альтернативними вставками. //УСІМ, 1997, Ne 3.
dc.relation.referencesen1. Tseitlin H.E. Teoreticheskie i prikladnye aspekty alhoritmiki, USIM, 1995, N91/12.
dc.relation.referencesen2. Tseitlin H.E. Kriterii funktsionalnoi polnoty, Kibernetika i sistemnyi analiz. 1995, No 5.
dc.relation.referencesen3. Tseitlin H.E. Poisk i sortirovka, klassifikatsiia, transformatsiia, sintez. //Avtomatika i telemekhanika, 1992, No 4, P. 147-154, No 5, P. 156-165.
dc.relation.referencesen4. Tseitlin HE.,Iushchenko E.L. Formalizirovannye spetsifikatsii i transformatsionnyi sintez prohramm /2 Kibernetika i sistemnyi analiz. 1993, No 1, P.127-152.
dc.relation.referencesen5. Zakhariia V.P., Zakhariia L.M., Tymtsiv RA, Pro realizatsiiu instrumentariiu bahatorivnevoho strukturnoho proektuvannia prohram na SM-4// Tezy dopovidi resp. konf. yNadiinist i yakist prohramnoho zabezpechennia", Lviv, 1985.
dc.relation.referencesen6. Zakhariia V.P., Zakhariia L.M., Tekhnolohiia syntezu i vidladky prohram v systemi Multyprotsesyst SM-4, Tezy dopovidei 7-yi Vsesoiuz. shkoly-seminaru "Paralelni prohramy i vysokoproduktyvni systemy", Kyiv, In-t kibernetyky, 1986.
dc.relation.referencesen7. Zakhariia V.P, Zakhariia L.M., Instrumentarii syntezu prohram dlia mini- i mikro EOM// Kibernetyka. 1989, N96.
dc.relation.referencesen8. Zakhariia L.M., Formalizovane proektuvannia baz znan, Materialy naukovo-doslidn. roboty prof.-vykl. skladu Lvivskoi komertsiinoi akademii. 1996.
dc.relation.referencesen9. Zakhariia L.M., Terzian T.K, Tseitlin PO., Instrumentarii konstruiuvannia ekspertnykh system symvolnoi obrobky danykh, Matematychni mashyny ta systemy. 1997, Nel.
dc.relation.referencesen10. Zakhariia L.M., Zasoby konstruiuvannia alhorytmichnykh znan na prykladi sortuvannia alternatyvnymy vstavkamy. //USIM, 1997, Ne 3.
dc.rights.holder© Національний університет “Львівська політехніка”, 2005
dc.rights.holder© Л. М. Захарія, 2000
dc.subject.udc681.3
dc.titleАлгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей
dc.typeArticle

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
2000n406_Zakhariia_L_M-Alhebro_hramatychni_101-111.pdf
Size:
709.23 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
2000n406_Zakhariia_L_M-Alhebro_hramatychni_101-111__COVER.png
Size:
3.45 MB
Format:
Portable Network Graphics
Download

License bundle

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

Collections

Інформаційні системи та мережі. – 2000. – №406