Развитие отечественной технологии программирования

Рассмотрена эволюция развития технологий компьютерных систем по пути автоматизации и создания сборочных линий. Приведены основные положения, объекты технологии программирования и сборки сложных систем из готовых ресурсов (модулей, объектов, компонентов и сервисов), которые конфигурируются в вариантн...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2014
1. Verfasser: Лаврищева, Е.М.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2014
Schriftenreihe:Кибернетика и системный анализ
Schlagworte:
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/115804
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Развитие отечественной технологии программирования / Е.М. Лаврищева // Кибернетика и системный анализ. — 2014. — Т. 50, № 3. — С. 145-160. — Бібліогр.: 42 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-115804
record_format dspace
spelling irk-123456789-1158042017-04-13T03:02:37Z Развитие отечественной технологии программирования Лаврищева, Е.М. Программно-технические комплексы Рассмотрена эволюция развития технологий компьютерных систем по пути автоматизации и создания сборочных линий. Приведены основные положения, объекты технологии программирования и сборки сложных систем из готовых ресурсов (модулей, объектов, компонентов и сервисов), которые конфигурируются в вариантные структуры программной системы по соответствующим линиям на фабриках программ. Розглянуто еволюцію розвитку технологій комп’ютерних систем. Технологія розвивається шляхом автоматизації і представлення складальних ліній, актуальних і сьогодні. Динаміка розвитку технологій комп’ютерних систем зробила значний крок вперед в плані вдосконалення методів виробництва систем з готових ресурсів (модулів, об’єктів, компонентів і сервісів). Нові системи збираються з готових ресурсів і конфігуруються у варіантні структури програмної системи на фабриці програм. The author considers the evolution of the development of the technologies of computer systems on the way of automation and presentation of assembling lines. The author presents the principal provisions, objects of the technology of programming, and composition of complex systems using ready resources (modules, objects, components, and services), which are configured into variant structures of systems on program factory. 2014 Article Развитие отечественной технологии программирования / Е.М. Лаврищева // Кибернетика и системный анализ. — 2014. — Т. 50, № 3. — С. 145-160. — Бібліогр.: 42 назв. — рос. http://dspace.nbuv.gov.ua/handle/123456789/115804 681.03.06 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Программно-технические комплексы
Программно-технические комплексы
spellingShingle Программно-технические комплексы
Программно-технические комплексы
Лаврищева, Е.М.
Развитие отечественной технологии программирования
Кибернетика и системный анализ
description Рассмотрена эволюция развития технологий компьютерных систем по пути автоматизации и создания сборочных линий. Приведены основные положения, объекты технологии программирования и сборки сложных систем из готовых ресурсов (модулей, объектов, компонентов и сервисов), которые конфигурируются в вариантные структуры программной системы по соответствующим линиям на фабриках программ.
format Article
author Лаврищева, Е.М.
author_facet Лаврищева, Е.М.
author_sort Лаврищева, Е.М.
title Развитие отечественной технологии программирования
title_short Развитие отечественной технологии программирования
title_full Развитие отечественной технологии программирования
title_fullStr Развитие отечественной технологии программирования
title_full_unstemmed Развитие отечественной технологии программирования
title_sort развитие отечественной технологии программирования
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2014
topic_facet Программно-технические комплексы
url http://dspace.nbuv.gov.ua/handle/123456789/115804
citation_txt Развитие отечественной технологии программирования / Е.М. Лаврищева // Кибернетика и системный анализ. — 2014. — Т. 50, № 3. — С. 145-160. — Бібліогр.: 42 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT lavriŝevaem razvitieotečestvennojtehnologiiprogrammirovaniâ
first_indexed 2025-07-08T09:23:49Z
last_indexed 2025-07-08T09:23:49Z
_version_ 1837070161319821312
fulltext Å.Ì. ËÀÂÐÈÙÅÂÀ ÓÄÊ 681.03.06 ÐÀÇÂÈÒÈÅ ÎÒÅ×ÅÑÒÂÅÍÍÎÉ ÒÅÕÍÎËÎÃÈÈ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß Àííîòàöèÿ. Ðàññìîòðåíà ýâîëþöèÿ ðàçâèòèÿ òåõíîëîãèé êîìïüþòåðíûõ ñèñòåì ïî ïóòè àâòîìàòèçàöèè è ñîçäàíèÿ ñáîðî÷íûõ ëèíèé. Ïðèâåäåíû îñíîâíûå ïîëîæåíèÿ, îáúåêòû òåõíîëîãèè ïðîãðàììèðîâàíèÿ è ñáîðêè ñëîæíûõ ñèñòåì èç ãîòîâûõ ðåñóðñîâ (ìîäóëåé, îáúåêòîâ, êîìïîíåíòîâ è ñåðâèñîâ), êîòîðûå êîíôèãóðèðóþòñÿ â âàðèàíòíûå ñòðóêòóðû ïðîãðàììíîé ñèñòåìû ïî ñîîòâåòñòâóþùèì ëèíèÿì íà ôàáðèêàõ ïðîãðàìì. Êëþ÷åâûå ñëîâà: ïðîãðàììèðîâàíèå, òåõíîëîãèÿ, ìîäóëü, îáúåêò, êîìïîíåíò, ãîòîâûå ðåñóðñû, èíæåíåðèÿ ñèñòåì, ñáîðî÷íûé êîíâåéåð, ñáîðî÷íîå ïðîãðàììèðîâàíèå, ìåòîäî- ëîãèÿ ëèíèé, ôàáðèêà ïðîãðàìì. ÂÂÅÄÅÍÈÅ Àêàäåìèê Â.Ì. Ãëóøêîâ îñíîâàë è ñôîðìóëèðîâàë îáùèå ïîëîæåíèÿ òåõíîëî- ãèè ÝÂÌ, ñèñòåì è ïðîãðàìì â 60-õ ãîäàõ ïðîøëîãî ñòîëåòèÿ, êîãäà íà÷àëîñü ïîñòðîåíèå ñåìåéñòâà îòå÷åñòâåííûõ ÝÂÌ è ñèñòåì. Ó÷åíûé ïðåäâîñõèòèë ðàçðàáîòêó ãèáêèõ êîìïüþòåðíûõ òåõíîëîãèé, îáåñïå÷èâàþùèõ ïðîèçâîäñòâî êîìïüþòåðíûõ ñèñòåì ïî òèïó êîíâåéåðíîé ñáîðêè, ïðîâåðåííîé íà àâòîìî- áèëüíûõ çàâîäàõ (factory) Ôîðäà. Ïî ìíåíèþ Â.Ì. Ãëóøêîâà, òåõíîëîãèÿ ÿâ- ëÿåòñÿ äâèãàòåëåì ïðîãðåññèâíîãî ðàçâèòèÿ ëþáîé íàóêè, â òîì ÷èñëå è òåî- ðèè ñîçäàíèÿ ÝÂÌ, èíôîðìàöèîííûõ ñèñòåì, ÀÑÓ, ÀÑÓÒÏ è äð. [1]. Èäåþ òåõíîëîãèè êîíâåéåðíîé ñáîðêè Â.Ì. Ãëóøêîâ èçëîæèë íà íàó÷íîì ñåìèíàðå Èíñòèòóòà êèáåðíåòèêè ÀÍ ÓÑÑÐ (1974 ã.), ïðåäñòàâèâ åå êàê íàáîð òåõíîëîãè÷åñêèõ ëèíèé ïðîèçâîäñòâà êîìïüþòåðíûõ ïðîäóêòîâ è ïðèêëàäíûõ ñèñòåì. Íà îñíîâå ýòîé êîíöåïöèè ñòðîèëèñü íîâûå ñðåäñòâà âû÷èñëèòåëüíîé òåõíèêè — áîëüøèå è ìàëûå âûñîêîïðîèçâîäèòåëüíûå âû÷èñëèòåëüíûå ñèñòåìû ñ ìàêðîêîíâåéåðíîé è ìíîãîïðîöåññîðíîé îðãàíèçàöèåé ÝÂÌ («Óêðàèíà», «Äíåïð», «Ìàÿê» è äð.), à òàêæå èíôîðìàöèîííûå ñèñòåìû òèïà ÀÈÑ «Þïèòåð» â Èíñòèòóòå êèáåðíåòèêè ÀÍ ÓÑÑÐ [2, 3]. Èäåÿ êîíâåéåðíîé ñáîðêè îêàçàëàñü íàñòîëüêî ïðîäóêòèâíîé, ÷òî è ñåãîäíÿ êîìïüþòåðíûå ñáîðî÷íûå òåõíîëîãèè îáåñïå÷èâàþò âûïóñê ðàçëè÷íûõ ìîäåëåé êîìïüþòåðîâ, êîòîðûå øèðîêî èñïîëüçóþòñÿ 70 % íàñåëåíèÿ Çåìíîãî øàðà. Íà ýòèõ êîìïüþòåðàõ ðåøàåòñÿ ìíîæåñòâî áèçíåñ-çàäà÷, ðåàëèçóþòñÿ ìíîãî÷èñëåí- íûå èíôîðìàöèîííûå óñëóãè ñ ïîìîùüþ Èíòåðíåòà è äð. Îäíàêî äëÿ ðåøåíèÿ ñëîæíûõ íàó÷íî-òåõíè÷åñêèõ çàäà÷ ñîâðåìåííûå òåõíîëîãèè ðàçðàáîòêè ñîîòâåò- ñòâóþùèõ èíôîðìàöèîííûõ è ïðîãðàììíûõ ñèñòåì íå äîñòàòî÷íî ñîâåðøåííû. Èõ åùå ïðåäñòîèò óëó÷øàòü è ðàçâèâàòü, ÷òîáû ïîäíÿòü óðîâåíü ïðîèçâîäñòâà. Òåõíîëîãèÿ ïðîãðàììèðîâàíèÿ (ÒÏ) ñëîæíûõ ñèñòåì ñîçäàâàëàñü â òå÷åíèå ìíîãèõ ëåò íàó÷íûìè êîëëåêòèâàìè àêàäåìè÷åñêèõ èíñòèòóòîâ ìíîãèõ ðåñïóá- ëèê ÑÑÑÐ. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 145 © Å.Ì. Ëàâðèùåâà, 2014  äàííîé ñòàòüå ðàññìîòðåíû ïóòè ðàçâèòèÿ, îñíîâíûå ïîëîæåíèÿ è îáúåê- òû ÒÏ, à òàêæå òåõíîëîãèÿ ñáîðêè ñëîæíûõ ñèñòåì èç ãîòîâûõ ðàçíîðîäíûõ ïðî- ãðàììíûõ ýëåìåíòîâ, íàçûâàåìûõ êîìïîíåíòàìè ïîâòîðíîãî èñïîëüçîâàíèÿ (ÊÏÈ) èëè reuses. ÑÒÀÍÎÂËÅÍÈÅ ÒÅÕÍÎËÎÃÈÈ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß Â ÑÑÑÐ Äëÿ ïåðâûõ ÝÂÌ ïðîãðàììû ïèñàëèñü íà ÿçûêàõ îïåðàòîðíûõ ãðàô-ñõåì, àä- ðåñíîì, ÀËÃÎË-60, ÔÎÐÒÐÀÍ, ÊÎÁÎË è äð. Èõ ïðåîáðàçîâàíèå â êîäû ÝÂÌ îñóùåñòâëÿëîñü ñ ïîìîùüþ ïðîãðàììèðóþùèõ ïðîãðàìì (ÏðÏ) èëè ñèñòåì ïðîãðàììèðîâàíèÿ (òðàíñëÿòîðîâ, èíòåðïðåòàòîðîâ). Îíè ðàçðàáàòûâàëèñü äëÿ ÝÂÌ, êîòîðûå ñîçäàâàëèñü â ÑÑÑÐ, â òîì ÷èñëå è â Óêðàèíå. Äàëåå ïðåäñòàâ- ëåíû ýòàïû ñòàíîâëåíèÿ ÒÏ. Ïðîãðàììèðîâàíèå. Âñåâîçìîæíûå àñïåêòû ïðîãðàììèðîâàíèÿ ïðè íàïèñà- íèè ïðîãðàìì äëÿ ðåøåíèÿ ðàçëè÷íûõ ìàòåìàòè÷åñêèõ çàäà÷ íà ÝÂÌ îïèñàíû â ìîíîãðàôèÿõ «Áûñòðîäåéñòâóþùèå ýëåêòðîííûå ìàøèíû ÀÍ ÑÑÑл (Ñ.À. Ëå- áåäåâ, 1952 ã.), «Ýëåìåíòû ïðîãðàììèðîâàíèÿ» (À.È Êèòîâ, È.À.Êðèíèöêèé, 1956 ã.), «Íà÷àëüíûå ñâåäåíèÿ î ðåøåíèè çàäà÷ äëÿ ÝÂÌ» (À.À. Ëÿïóíîâ, Ã.À. Øåñòîïàëîâ, 1957 ã.), «Àëãîðèòìû è ìàøèííîå ðåøåíèå çàäà÷» (Â.À. Òðàõ- òåíãåðö, 1957 ã.), «Îáùåå îïèñàíèå ÁÝÑÌ è ìåòîäèêà âûïîëíåíèÿ îïåðàöèé» (Ñ.À. Ëåáåäåâ, Â.À. Ìåëüíèêîâ, 1958 ã.), «Àäðåñíîå ïðîãðàììèðîâàíèå» (Å.Ë. Þùåíêî, 1962 ã.), «Ãðàô-ñõåìíîå ïðîãðàììèðîâàíèå» (À.À. Ëÿïóíîâ, À.Ï. Åðøîâ è äð., 1958 ã.). Àâòîðû ýòèõ íàó÷íûõ òðóäîâ îòêðûëè ýðó àëãîðèòìè- çàöèè âû÷èñëèòåëüíûõ çàäà÷ è èõ ïðåäñòàâëåíèÿ ìàøèííûìè ÿçûêàìè. Ïðîãðàììèðóþùàÿ ïðîãðàììà. Íà ÿçûêå îïåðàòîðíûõ ñõåì àëãîðèòì ïðî- ãðàììû ïðåäñòàâëÿåòñÿ ñõåìîé, ñîîòâåòñòâóþùåé óïðàâëÿþùåìó ãðàôó ïðî- ãðàììû, è ñîâîêóïíîñòüþ ñïåöèôèêàöèé êàæäîãî îïåðàòîðà. Ïåðâàÿ ïðîãðàììè- ðóþùàÿ ïðîãðàììà (ÏðÏ-1) ðàçðàáîòàíà â 1954 ã. Ý.Ç. Ëþáèìñêèì è À.Ï. Åðøî- âûì â ÌÃÓ ïîä ðóêîâîäñòâîì Ì.Ð. Øóðà-Áóðà. Íà åå îñíîâå ïðîåêòèðîâàëèñü äðóãèå ÏðÏ íà ìàøèíàõ ÁÝÑÌ, «Ñòðåëà», Ì-20 è äð.  ðåçóëüòàòå ñîçäàâàëèñü ôóíäàìåíòàëüíûå àëãîðèòìû òðàíñëÿöèè è òåîðèÿ ïðîãðàììèðîâàíèÿ. Â.Ì. Ãëóøêîâ â ñòàòüå «Îá îäíîì ìåòîäå àâòîìàòèçàöèè ïðîãðàììèðîâà- íèÿ» è À.À. Ñòîãíèé â ñòàòüå «Î ïðèíöèïàõ ïîñòðîåíèÿ ñïåöèàëèçèðîâàííîé ïðîãðàììèðóþùåé ïðîãðàììû» (Ïðîãðàììèðîâàíèå, ¹ 1, 1958 ã.) îáîñíîâàëè áèáëèîòå÷íûé ìåòîä ÏðÏ íà ïðèìåðå àëãîðèòìà ðåøåíèÿ ñèñòåì äèôôåðåíöè- àëüíûõ óðàâíåíèé.  Óêðàèíå ÏðÏ ðåàëèçîâàëèñü äëÿ îòå÷åñòâåííûõ ìàøèí íà îñíîâå àäðåñíîãî ÿçûêà Å.Ë. Þùåíêî è ñïåöèàëèçèðîâàííûõ ÿçûêîâ — àâòîêî- äîâ. Àäðåñíûé ÿçûê ïîäîáåí ÿçûêó ìàòåìàòèêè: àëãîðèòìû íà íåì çàïèñûâàëèñü íàáîðîì îïåðàòîðîâ èç îäíîé èëè íåñêîëüêèõ ôîðìóë. Îòëè÷èòåëüíîé îñîáåí- íîñòüþ ýòîãî ÿçûêà ÿâëÿëñÿ óêàçàòåëü âòîðîãî ðàíãà äëÿ ìíîãîêðàòíîãî ïåðåõîäà. Ñðåäñòâàìè àäðåñíîãî ÿçûêà îïèñûâàëèñü çàäà÷è âû÷èñëèòåëüíîãî õàðàêòåðà è ÏðÏ äëÿ ìàøèí «Êèåâ», «Óðàë», «Äíåïð» è äð. Ñèñòåìû ïðîãðàììèðîâàíèÿ.  1960 ã. ïîÿâèëèñü íîâûå óíèâåðñàëüíûå ÿçûêè ïðîãðàììèðîâàíèÿ (ßÏ): ÀËÃÎË-60, ÔÎÐÒÐÀÍ, ÊÎÁÎË, ÏÐÎËÎÃ, ÀÄÀ è äð.). Îäíèì èç ïåðâûõ áûë ÀËÃÎË-60. Âî ìíîãèõ èíñòèòóòàõ ÀÍ ÑÑÑÐ íà÷àëè ðàçðàáàòûâàòü òðàíñëÿòîðû ñ ÿçûêà ÀËÃÎË: ÒÀ-1 — Ñ.Ñ. Ëàâðîâ (ËÃÓ, 1962 ã.), ÒÀ-2 — Ì.Ð. Øóðà-Áóðà è Ý.Ç. Ëþáèìñêèé (ÈÏÌ, 1963 ã.), ÒÀ-3 — (ÀËÜÔÀ- ñèñòåìà) â ðóññêîé âåðñèè ÿçûêà ÀËÃÎË-60 – À.Ï. Åðøîâ è äð. (ÑÎ ÀÍ ÑÑÑÐ, 1964 ã.), ÒÀ-4 — äëÿ ÓÂÊ «Äíåïð-2» Å.Ë. Þùåíêî, Å.Ì. Ëàâðèùåâà (ÈÊ ÀÍ ÑÑÑÐ, 1965 ã.).  ÒÀ-1 ðàçðàáîòàíà áûñòðàÿ è ïðîñòàÿ ñõåìà òðàíñëÿöèè, ñòåêîâûé ïîäõîä ê ïðîãðàììèðîâàíèþ âûðàæåíèé, ðåàëèçàöèè ïðîöåäóð áåç èõ òèïèçàöèè è 146 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 ðåêóðñèâíîñòè.  ÒÀ-2 ðàçðàáîòàí îðèãèíàëüíûé àëãîðèòì ïðîãðàììèðîâàíèÿ ïðî- öåäóð, ìåõàíèçìû óïðàâëåíèÿ ïàìÿòüþ (îïåðàòèâíîé è âíåøíåé) è ìåòîä òàáëè÷- íî-óïðàâëÿåìîé ãåíåðàöèè êîäà.  ÒÀ-3 ðåàëèçîâàíà îïòèìèçàöèÿ (âûðàæåíèé, öèêëîâ, ïðîöåäóð, ïàìÿòè è äð.) äëÿ ïîâûøåíèÿ ýôôåêòèâíîñòè âûõîäíîãî êîäà, ïîäîáíîãî êîäó ïðîãðàìì, ñîçäàííîãî âðó÷íóþ, à òàêæå îïåðàöèè íàä ìíîãîìåðíû- ìè çíà÷åíèÿìè è êîìïëåêñíûìè òèïàìè äàííûõ.  ÒÀ-4 ðåàëèçîâàí ÑÌ-ìåòîä òàá- ëè÷íîãî ïðåäñòàâëåíèÿ áàçîâûõ ñèìâîëîâ ÿçûêà è ñîîòâåòñòâóþùèõ ñåìàíòè÷åñêèõ ïðîãðàìì. Íîâûì ïîäõîäîì â ïîñòðîåíèè ñèñòåìû ïðîãðàììèðîâàíèÿ «Äíåïð-2» áûëî ñîçäàíèå îáùåãî àðèôìåòè÷åñêîãî áëîêà äëÿ äâóõ ÿçûêîâ: ÀËÃÎË è ÊÎÁÎË. Äëÿ íîâûõ ÝÂÌ ÒÀ-1–ÒÀ-3 è ÎÑ ðåàëèçîâàëèñü â ìàøèííîì êîäå ýòèõ ìà- øèí, à ÒÀ-4 — íà àâòîêîäå ìàøèíû «Äíåïð-2», êîòîðûé âõîäèë â îáùåñèñòåì- íîå ïðîãðàììíîå îáåñïå÷åíèå. Äëÿ óñîâåðøåíñòâîâàíèÿ ðàçðàáîòêè òðàíñëÿòîðîâ Ý.Ç. Ëþáèìñêèé (1963 ã.) ïðåäëîæèë ïðîìåæóòî÷íûé ÿçûê ÀËÌÎ äëÿ ïåðåâîäà â íåãî ëþáîãî ßÏ, à çàòåì â êîä ÝÂÌ. ßçûê ÀËÌÎ — ýòî íåêîòîðàÿ àáñòðàêòíàÿ ìàøèíà, îòðàæàþùàÿ îñîáåííîñòè êëàññà ÝÂÌ â ÑÑÑÐ. Ýòîò è äðóãèå ÿçûêè (ÝÏÑÈËÎÍ, ÑÈÃÌÀ) ñòàëè ÿçûêàìè-ïîñðåäíèêàìè ïðè òðàíñëÿöèè ïðîãðàìì ñ ðàçëè÷íûõ ßÏ. Ñ èõ ïîìîùüþ îñóùåñòâëÿëñÿ ïåðåâîä ñ m âõîäíûõ ÿçûêîâ â n ìàøèííûå ÿçûêè, ò.å. «èç m â îäèí» è «èç îäíîãî â n». ßçûê ÀËÌÎ áûë ðåàëèçîâàí äëÿ ëó÷øèõ îòå- ÷åñòâåííûõ ìàøèí òîãî âðåìåíè (Ì-20, ÁÝÑÌ-6, «Ìèíñê-2», «Óðàë-1») íà ïðèìåðå òðàíñëÿòîðîâ ñ ÀËÃÎË-60 è ÔÎÐÒÐÀÍ. Òåîðèÿ ïðîãðàììèðîâàíèÿ. Êîíñòðóèðîâàíèå àëãîðèòìîâ ïðîãðàìì âíà÷àëå ïðîâîäèëîñü ñ ïîìîùüþ îïåðàòîðíûõ ñõåì Ëÿïóíîâà, ßíîâà, ñòðóêòóðíûõ ñõåì è áëîê-ñõåì. Ýòè ñõåìû ïðîãðàìì ïåðåâîäèëèñü â îäèí èç ßÏ äëÿ ðåàëèçàöèè â ÏðÏ. Îäíîâðåìåííî ñîçäàâàëèñü íîâûå ìåòîäû è ñðåäñòâà ïðîãðàììèðîâàíèÿ. Àëãåáðàè÷åñêèå ÿçûêè. Ïðè ôîðìàëüíîì ïðîãðàììèðîâàíèè èñïîëüçîâà- ëèñü òåîðèè àâòîìàòîâ, àëãîðèòìîâ, àëãåáðû è ìíîæåñòâ, à òàêæå òåîðèÿ îïåðà- òîðíûõ ñõåì, ñèñòåì àëãîðèòìè÷åñêèõ àëãåáð (ÑÀÀ) è ìåòîäû ðåàëèçàöèè ñå- ìàíòèêè ßÏ â òðàíñëÿòîðàõ äëÿ ðàçëè÷íûõ ÝÂÌ.  ðåçóëüòàòå áûëè ñîçäàíû òåîðåòè÷åñêèå àñïåêòû ïðîãðàììèðîâàíèÿ ñ ïîçèöèé óêàçàííûõ òåîðèé, à òàê- æå òåîðèé ÑÀÀ, êîíòåêñòíî-ñâîáîäíûõ ßÏ, ñåìàíòè÷åñêîãî îïèñàíèÿ ßÏ è äð. Ýòî îòîáðàæåíî â ïåðâîé ìîíîãðàôèè Â.Ì. Ãëóøêîâà è äð. [4], êîòîðàÿ áûëà ïåðåâåäåíà íà àíãëèéñêèé ÿçûê. Ïîä ðóêîâîäñòâîì Å.Ë. Þùåíêî ðàçðàáîòàí ÑÌ-ìåòîä ïðåäñòàâëåíèÿ ñåìàíòèêè ßÏ â òðàíñëÿòîðàõ ñ ÿçûêîâ ÀËÃÎË-60 è ÊÎÁÎË äëÿ ìàøèíû «Äíåïð-2», à òàêæå ñõåìíûé àëãîðèòì ñèíòàêñè÷åñêîãî àíàëèçà ßÏ è ÐÒÊ-êîìïëåêñ. ßçûê ÓÒÎÏÈÑÒ ÏÐÈÇ. Ýòîò ÿçûê ðàçðàáîòàë Ý.Õ. Òûóãó äëÿ ñèíòåçà ïðî- ãðàìì â ßÏ íà îñíîâå îïèñàíèÿ ñåìàíòè÷åñêîé ìîäåëè ïðåäìåòíîé îáëàñòè ðåøå- íèÿ ìàòåìàòè÷åñêèõ çàäà÷ â ïàêåòàõ ïðèêëàäíûõ ïðîãðàìì (ÏÏÏ). Ñèíòåç ñåìàí- òè÷åñêèõ ïðîãðàìì â ÿçûêàõ PL/1, ÔÎÐÒÐÀÍ, ÀÑÑÅÌÁËÅÐ ðåàëèçîâàí ìåòîäîì ïîäñòàíîâêè ïðèêëàäíûì çàäà÷àì ñåìàíòèêè èõ ðåàëèçàöèè â ßÏ è îïåðàöèÿìè ñèñòåìû ÏÐÈÇ â ÎÑ ÅÑ. Ãðàôè÷åñêèé Ð-ÿçûê. Äàííûé ÿçûê ïðåäíàçíà÷àëñÿ äëÿ êîíñòðóèðîâàíèÿ ñòðóêòóðû ïðîèçâîëüíûõ ïðîãðàìì è èõ ñõåìíîé ðåàëèçàöèè Ð-ãðàôàìè. Áûë ñî- çäàí îòå÷åñòâåííûé è ìåæäóíàðîäíûé ñòàíäàðòû ISO/IEC äëÿ îïèñàíèÿ Ð-ãðà- ôîâ è óñòðîéñòâî ñèíòàêñè÷åñêîãî êîíòðîëÿ ïðîãðàìì â íåñêîëüêèõ ïàòåíòàõ [5]. Ñòðóêòóðíàÿ èíòåðïðåòàöèÿ ñèíòàêñèñà è ñåìàíòèêè ßÏ âûïîëíÿëàñü ñ èñïîëü- çîâàíèåì ýòîãî ÿçûêà. Ãðàôè÷åñêèé ñïîñîá ïðîãðàììèðîâàíèÿ ïðèìåíÿëñÿ âî ìíîãèõ îðãàíèçàöèÿõ âîåííî-ïðîìûøëåííîãî êîìïëåêñà ÑÑÑÐ. Îáúåêòû ÒÏ. Êëþ÷åâûì äîñòèæåíèåì ïðîãðàììèðîâàíèÿ ÿâèëèñü áèáëèî- òåêè ñòàíäàðòíûõ ïîäïðîãðàìì âû÷èñëèòåëüíîé ìàòåìàòèêè. Ìåòîäû ïðîãðàì- ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 147 ìèðîâàíèÿ â ðàçíûõ ßÏ îñíîâûâàëèñü íà àïïàðàòå ïîâòîðíîãî èñïîëüçîâàíèÿ ïîäïðîãðàìì èç áèáëèîòåê ïðîãðàìì. Èõ âûçîâ, à òàêæå ôóíêöèè è ïðîöåäóðû (íàïðèìåð, subroutine â ÿçûêå ÔÎÐÒÐÀÍ) îñóùåñòâëÿëèñü îïåðàòîðàìè òèïà CALL ñ óêàçàíèåì èõ èìåí è ñïèñêà ôàêòè÷åñêèõ ïàðàìåòðîâ. Ïðè ðàçðàáîòêå ñëîæíûõ ñèñòåì ïåðâîíà÷àëüíî èñïîëüçîâàëèñü ìîäóëè è îòäåëüíûå ïðîãðàììû. Ìîäóëü. Ëîãè÷åñêè çàêîí÷åííûì ôðàãìåíòîì ïðîãðàììû íà ëþáîì ßÏ, âûïîëíÿþùèì îïðåäåëåííóþ ôóíêöèþ è èìåþùèì ñâîéñòâà çàâåðøåííîñòè, ðàçäåëüíîé òðàíñëÿöèè è ïîâòîðíîãî èñïîëüçîâàíèÿ, ÿâëÿåòñÿ ìîäóëü. Äëÿ íåãî ðàçðàáàòûâàëñÿ ïàñïîðò — èíôîðìàöèîííûé áëîê, ñîäåðæàùèé îïèñàíèå âõîä- íûõ è âûõîäíûõ äàííûõ, à òàêæå îïåðàòîðîâ âûçîâà äðóãèõ ìîäóëåé. Îíè àêòèâ- íî èñïîëüçîâàëèñü ïðè ñáîðêå ðàçíîÿçûêîâûõ ìîäóëåé. Èíòåðôåéñ. Êëþ÷åâûì ïîíÿòèåì òåõíîëîãèè ðàçðàáîòêè ñëîæíûõ ïðèêëàä- íûõ ñèñòåì èç ðàçíîðîäíûõ è ðàçíîÿçûêîâûõ ìîäóëåé ñòàë èíòåðôåéñ — ìî- äóëü-ïîñðåäíèê ìåæäó äâóìÿ îáúåäèíÿåìûìè ìîäóëÿìè [6, 7].  íåì îïèñûâàëèñü äàííûå è îïåðàòîðû èõ ïåðåäà÷è îò îäíîãî ìîäóëÿ äðóãîìó, à òàêæå ïîëó÷åííûé ðåçóëüòàò. Èíòåðôåéñ ðåàëèçîâàí â ñèñòåìå ÀÏÐÎÏ ñ ïîìîùüþ áèáëèîòåêè èí- òåðôåéñíûõ ôóíêöèé ïðåîáðàçîâàíèÿ îòëè÷àþùèõñÿ òèïîâ äàííûõ, êîòîðûìè îá- ìåíèâàþòñÿ ìîäóëè ìåæäó ñîáîé. Ïîçäíåå äëÿ îïèñàíèÿ èíòåðôåéñà áûë ñîçäàí ÿçûê IDL (Interface Definition Language) è áðîêåð îáúåêòíûõ çàïðîñîâ â ñèñòåìå CORBA â ðàìêàõ îáúåêòíîãî ïîäõîäà. Îïèñàíèå èíòåðôåéñà ïîñðåäíèêàìè stub è skeleton óïðîñòèëî çàäà÷ó ñáîðêè ðàçíîÿçûêîâûõ ìîäóëåé. Ôóíêöèè è êîìïîçèöèè. Ôîðìàëüíûì ïîäõîäîì ê îáúåäèíåíèþ ôóíêöèé öå- ïî÷êàìè «äàííûå–ôóíêöèÿ–èìÿ», «ôóíêöèè–êîìïîçèöèÿ–äåñêðèïöèÿ» ÿâëÿåòñÿ êîìïîçèöèîííîå ïðîãðàììèðîâàíèå [8]. Ïðîãðàììíàÿ ïîääåðæêà ýòèõ öåïî÷åê — ñèñòåìà ÄÅÔÈÏÑ, îáåñïå÷èâàþùàÿ ïîñòðîåíèå ïðîãðàìì èç ôóíêöèé, çàäàí- íûõ íà íåêîòîðîì ìíîæåñòâå èìåíîâàííûõ äàííûõ, äåñêðèïöèé è äåíîòàòîâ (çíà÷åíèé). Ñåìàíòèêà çàäàåòñÿ îðäèíàðíûìè ôóíêöèÿìè îáðàáîòêè îïåðàöèé, èíòåðôåéñíûìè ôóíêöèÿìè, àðíûìè ôóíêöèÿìè, à òàêæå èìåíîâàííûìè äàííû- ìè. Îïåðàöèè êîìïîçèöèè — ýòî ïîäêëàññ ñòàíäàðòíûõ êîìïîçèöèé è äåêîìïî- çèöèîííûõ ôóíêöèé. Êîìïîíåíòû ïîâòîðíîãî èñïîëüçîâàíèÿ. Íàðÿäó ñ ðàçðàáîòêîé ïîäïðîãðàìì è áèáëèîòå÷íûõ ïðîãðàìì îñóùåñòâëÿëñÿ ñáîð ãîòîâûõ ê èñïîëüçîâàíèþ ïðîãðàìì è àëãîðèòìîâ â Ãîñóäàðñòâåííûé è ðåñïóáëèêàíñêèé ôîíäû àëãîðèòìîâ è ïðîãðàìì.  òî âðåìÿ çà ðóáåæîì ïðîâîäèëèñü àíàëîãè÷íûå ìåðîïðèÿòèÿ — reusebility. Ïðèêëàäíîå ïðîãðàììèðîâàíèå. Ìíîãèå èíñòèòóòû ÀÍ ÑÑÑÐ è ïðåäïðè- ÿòèÿ ñòðàíû çàíèìàëèñü ðåàëèçàöèåé íàó÷íûõ è ïðèêëàäíûõ çàäà÷. Ñîçäàíèå ÀÑÓ, ÀÑÓÒÏ. Äëÿ àâòîìàòèçàöèè ïðåäïðèÿòèé ðàçëè÷íîãî óðîâíÿ Â.Ì. Ãëóøêîâ ïðåäëîæèë òåîðèþ ÀÑÓ è ÀÑÓÒÏ [2], êîòîðóþ îí ðåàëèçîâàë, ïðèíèìàÿ ó÷àñòèå â ñîçäàíèè ïåðâûõ ÀÑÓ â Óêðàèíå (äëÿ Ëèñè÷àíñêîãî õèì- êîìáèíàòà, Äîíåöêîãî ãîðíî-îáîãàòèòåëüíîãî êîìáèíàòà, Ëüâîâñêîãî òåëåâèçè- îííîãî çàâîäà), Áîëãàðèè è ÃÄÐ (äëÿ ìåòàëëóðãè÷åñêîãî êîìáèíàòà). Àâòîð íà- ñòîÿùåé ñòàòüè â ñîñòàâå ãðóïïû ó÷åíûõ ïðèíèìàë ó÷àñòèå â ðàçðàáîòêå ÀÑÓÒÏ ïðîêàòà ìåòàëëà íà ìåòàëëóðãè÷åñêèõ êîìáèíàòàõ Áåðëèíà è Ëåéïöèãà (ÃÄÐ) íà áàçå ÓÂÊ «Äíåïð-2» â ðàìêàõ ìåæãîñóäàðñòâåííîãî ïðîåêòà Óêðàèíà–ÃÄÐ (1971–1975 ãã.). Ïðèíöèïû è ñòðóêòóðó ýòîãî ïðîåêòà ðàçðàáîòàë Â.Ì. Ãëóøêîâ. Ïàêåòû ïðèêëàäíûõ ïðîãðàìì. Ïàêåò ïðîãðàìì — ñèñòåìà óïðàâëÿþùèõ, ïðèêëàäíûõ è îáñëóæèâàþùèõ ìîäóëåé ñ ÿçûêîì ïîëüçîâàòåëÿ äëÿ ïîñòàíîâêè çàäàíèÿ äëÿ ðåøåíèÿ çàäà÷è èç çàäàííîãî êëàññà. Ñôîðìèðîâàëàñü îáùàÿ ñòðóê- òóðà, ñóùíîñòü è ïðèíöèïû ïîñòðîåíèÿ ÏÏÏ. Ïî äàííîé òåõíîëîãèè áûëî ðàçðà- áîòàíî áîëåå 20 ÏÏÏ äëÿ ðåøåíèé çàäà÷ îáðàáîòêè äàííûõ íà òðàíñïîðòå, â ýêî- íîìèêå, ñòàòèñòèêå, ìàòåìàòè÷åñêèõ âû÷èñëåíèÿõ, ñèñòåìíîé îïòèìèçàöèè è äð. 148 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3  ðåçóëüòàòå ñîçäàíèÿ ðàçëè÷íûõ ÏÏÏ ñôîðìèðîâàíà èíäóñòðèàëüíàÿ òåõíîëî- ãèÿ ïîñòðîåíèÿ ÏÏÏ ïîä ðóêîâîäñòâîì àêàäåìèêà È.Â. Ñåðãèåíêî, îïèñàííàÿ â ìîíîãðàôèè «Ïðèêëàäíûå ïðîãðàììíûå ñèñòåìû» (Â.Í. Ðåäüêî, È.Â. Ñåðãèåí- êî, À.Ñ. Ñòóêàëî, 1992 ã.).  ðàçâèòèå îòå÷åñòâåííîé òåõíîëîãèè ïðîãðàììèðîâàíèÿ âåñîìûé âêëàä âíåñëè âåäóùèå ñïåöèàëèñòû àêàäåìè÷åñêèõ èíñòèòóòîâ ÀÍ ÑÑÑÐ, à èìåííî Â.Ì. Ãëóøêîâ, È.Â. Âåëüáèöêèé, À.Ï. Åðøîâ, Ý.Ç. Ëþáèìñêèé, Â.Ñ. Ëàâðîâ, Ì.Ð. Øóðà-Áóðà, Å.Ë. Þùåíêî, Ý.Õ. Òûóãó, È.Â. Ñåðãèåíêî, êîòîðûå íåïîñðåä- ñòâåííî ñîçäàâàëè ñèñòåìû ïðîãðàììèðîâàíèÿ, ïðèêëàäíûå ñèñòåìû, ÀÑÓ è ÀÑÓÒÏ. Íà êîíôåðåíöèÿõ ïî ÒÏ îáñóæäàëèñü ïîëó÷åííûå íîâûå òåîðåòè÷åñ- êèå è ïðèêëàäíûå àñïåêòû ïðîåêòèðîâàíèÿ, ðàçðàáîòêè, òåñòèðîâàíèÿ ðàçëè÷íûõ âèäîâ ñèñòåì (ïðèêëàäíûõ, èíôîðìàöèîííûõ) äëÿ áîëüøèõ ÝÂÌ, à òàêæå çàäà÷è ýêñïëóàòàöèè è ñîïðîâîæäåíèÿ ÏÎ. Ðàçðàáîòêó ñðåäñòâ àâòîìàòèçàöèè ÒÏ ôèíàíñèðîâàë ÃÊÍÒ ÑÑÑÐ. Âûõîäèëè ñïåöèàëüíûå ïîñòàíîâëåíèÿ Ñîâåòà Ìèíèñòðîâ ÑÑÑÐ, íàïðàâëåííûå íà ðàçâèòèå ñðåäñòâ âû÷èñëèòåëüíîé òåõíèêè è òåõíîëîãèè èçãîòîâëåíèÿ ïðîãðàììíûõ ïðî- äóêòîâ (ÏÏ) è ñäà÷è èõ â Ôîíäû àëãîðèòìîâ è ïðîãðàìì äëÿ èñïîëüçîâàíèÿ äðó- ãèìè îðãàíèçàöèÿìè. Àâòîìàòèçàöèÿ ïðîãðàììèðîâàíèÿ. Èíäóñòðèàëüíûé âûïóñê ñëîæíûõ ïðî- ãðàìì Â.Ì. Ãëóøêîâ ïðåäëàãàë ðåàëèçîâàòü ñ ïîìîùüþ ñáîðî÷íîãî êîíâåéåðà ïî òèïó ëèíèé íà çàâîäàõ Ôîðäà. Ïî åãî ìíåíèþ, ôàáðèêà ïðîèçâîäñòâà ïðîãðàìì äîë- æíà îáîðóäîâàòüñÿ ëèíèÿìè ïðîãðàììèðîâàíèÿ ðàçëè÷íûõ ïðîãðàìì, îáúåäèíÿþùè- ìè èõ â íîâóþ àãðåãàòíóþ ñòðóêòóðó. Àâòîìàòèçàöèåé ðàçíûõ àñïåêòîâ ðàçðàáîòêè ïðèêëàäíûõ ñèñòåì ñ èñïîëüçîâàíèåì ïðîãðàìì, êîòîðûå ñäàâàëèñü â Ôîíäû àëãî- ðèòìîâ è ïðîãðàìì, çàíèìàëèñü ìíîãèå ñïåöèàëèñòû èíñòèòóòîâ Ñîâåòñêîãî Ñîþçà, â òîì ÷èñëå ÈÊ ÀÍ ÓÑÑÐ. Äàííîé ïðîáëåìàòèêîé àâòîð íàñòîÿùåé ñòàòüè íà÷àë çà- íèìàòüñÿ ñ 1965 ã., êîãäà ïî èíèöèàòèâå Â.Ì. Ãëóøêîâà ãðóïïó ðàçðàáîò÷èêîâ òðàíñëÿòîðîâ ñ ÿçûêîâ ÀÂÒÎÊÎÄ, ÀËÃÎË-60, ÊÎÁÎË èç îòäåëà Å.Ë. Þùåíêî ÈÊ ÀÍ ÓÑÑÐ ïåðåâåëè â ÑÊÁ ÌÌÑ ÈÊ ÀÍ ÓÑÑÐ äëÿ ïîñòðîåíèÿ òðàíñëÿòîðîâ äëÿ íîâûõ ÝÂÌ, à èìåííî «Ìèð», ÓÂÊ «Äíåïð-1» è «Äíåïð-2» è äð. [9]. Ïðîåêòû àâòîìàòèçàöèè ïðèêëàäíûõ ñèñòåì è ÏÏÏ â ÈÊ, ôèíàíñèðóåìûå ÃÊÍÒ ÑÑÑÐ, âêëþ÷àëè ñëåäóþùèå ðàçðàáîòêè: ôîðìàëüíûå òåõíè÷åñêèå çàäàíèÿ (Þ.Â. Êàïèòîíîâà, À.À. Ëåòè÷åâñêèé); ñèñòåìà àâòîìàòèçàöèè ïðîãðàìì ÀÏÐÎÏ (Å.Ì. Ëàâðèùåâà); ÏÏÏ ìåòîäîâ ÷èñëåííîãî àíàëèçà (È.Í. Ìîë÷àíîâ); ÏÏÏ ÄÈÑÏÐÎ (È.Â. Ñåðãèåíêî, À.Ñ. Ñòóêàëî) è ñòàòèñòèêè (È.Í. Ïàðàñþê); òåõíîëîãè- ÷åñêèé êîìïëåêñ ïðîãðàììèñòà ÒÊÏ (È.Â. Âåëüáèöêèé); ÑÀÀ «Ìóëüòèïðîöåñèñò» (Ã.Å. Öåéòëèí); êîìïîçèöèîííîå ïðîãðàììèðîâàíèå ÄÅÔÈÏÑ (Â.Í. Ðåäüêî); äèàëî- ãîâûå ñèñòåìû îáó÷åíèÿ ßÏ (Å.Ë. Þùåíêî, À.Ì. Äîâãÿëëî); ñèñòåìà «Ìàêðîáîë» (Ë.Ï. Áàáåíêî); ñèñòåìà ìóëüòèïðîãðàììèðîâàíèÿ «Òåðåì» (Í.Ì. Ìèùåíêî) è äð. Ñðåäñòâà àâòîìàòèçàöèè ðàçðàáàòûâàëè òàêæå è äðóãèå íàó÷íûå öåíòðû ÑÑÑÐ: ñèñòåìà «Ïðèç» (Ý.Õ. Òûóãó, ÈÊ ÀÍ ÝÑÑÐ), ñèñòåìû «Àëüôà» è «Áåòà» (À.Ï. Åðøîâ, ÍÃÓ, Íîâîñèáèðñê), ñèñòåìà ÀÄÀ (Ñ.Ñ. Ëàâðîâ, ËÃÓ, Ëåíèíãðàä), ñèñòåìà àâòîìàòèçàöèè ìàòåìàòè÷åñêèõ çàäà÷ (Ì.Ð. Øóðà-Áóðà, ÈÏÌ ÀÍ ÑÑÑÐ), ñèñòåìà ìîäóëüíîãî ïðîãðàììèðîâàíèÿ (Å.À. Æîãîëåâ, ÌÃÓ), ñèñòåìà àâòîìàòè- çàöèè òðàíñëÿòîðîâ (Ì.À. Ãîíöà, Èíñòèòóò ìàòåìàòèêè, ÌÑÑÐ), ñèñòåìà ïîñëîé- íîãî ïðîåêòèðîâàíèÿ ïðîãðàììíûõ ïðîåêòîâ (Â.È. Ôóêñìàí , ÐÃÓ, Ðèãà), ñèñòåìû òåëåêîììóíèêàöèè (Â. Áàðäçèíü, Ëàò.ÑÑÐ) è ò.ä. Òàê, â 1982 ã. â Êàëèíèíå áûë ñî- çäàí ïðîãðàììíî-ñòðîèòåëüíûé çàâîä äëÿ ïðîèçâîäñòâà ÀÑÓ. Ïðè âûïîëíåíèè íàó÷íûõ ïðîåêòîâ â ÑÑÑÐ ñôîðìèðîâàëèñü ðàçëè÷íûå àñ- ïåêòû òåõíîëîãèè ïðîãðàììèðîâàíèÿ è èíäóñòðèàëüíûå ìåòîäû ïðîèçâîäñòâà ïðèêëàäíûõ ïðîãðàììíûõ ñèñòåì, ÀÑÓ è ÏÏÏ. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 149 ÔÎÐÌÈÐÎÂÀÍÈÅ ÇÀÐÓÁÅÆÍÛÕ ÒÅÕÍÎËÎÃÈÉ Âñå íîâûå òåîðèè â ôèçèêå, ìàòåìàòèêå è äðóãèõ åñòåñòâåííûõ íàóêàõ ïîä- òâåðæäàëèñü íà ïðàêòèêå ñîîòâåòñòâóþùèìè òåõíîëîãèÿìè.  êîìïüþòåðíûõ íàóêàõ (Computer scienñe, ÑS) ñôîðìèðîâàëèñü àíàëîãè÷- íûå ÒÏ (êîìïüþòåðîâ, ñèñòåì è ïðîãðàìì), à èìåííî Computer Engineering — èíæåíåðèÿ (êîíñòðóèðîâàíèå) êîìïüþòåðîâ, Systems Engineering — èíæåíåðèÿ (òåõíîëîãèÿ) ñèñòåì è Software Engineering (SE) — èíæåíåðèÿ (òåõíîëîãèÿ) ïðî- ãðàììíîãî îáåñïå÷åíèÿ (ÏÎ). Èíôîðìàöèÿ î SE âïåðâûå ïîÿâèëàñü íà êîíôåðåíöèè ÍÀÒÎ â 1968 ã. Îôè- öèàëüíîå îïðåäåëåíèå SE äàë ìåæäóíàðîäíûé êîìèòåò ñïåöèàëèñòîâ ACM è IEEE â SWEBOK (Software Engineering Body Knowledge) â 2001 ã. (www. swebok.com). ßäðî çíàíèé SWEBOK ïîñòîÿííî ñîâåðøåíñòâóåòñÿ, ðàçâèâàþòñÿ åãî ìåòîäû è ñðåäñòâà äëÿ ýôôåêòèâíîãî èõ ïðèìåíåíèÿ â ïðîèçâîäñòâå, ðåèíæå- íåðèè è ðåâåðñíîé èíæåíåðèè ÏÏ. Ïî ñðàâíåíèþ ñ SWEBOK ïðèíÿòûé â ÑÑÑÐ òåðìèí ÒÏ â îòëè÷èå îò èíæå- íåðèè SE èìååò áîëåå øèðîêèé ñìûñë, ïîñêîëüêó âêëþ÷àåò òåîðèþ, ìåòîäû, ñðå- äñòâà è èíñòðóìåíòû ôîðìàëüíîãî ïðîåêòèðîâàíèÿ è ðåàëèçàöèè ïðèêëàäíûõ ñèñòåì è ÏÏÏ. Ïðèâåäåì êðàòêîå îïðåäåëåíèå îïèñàííûõ òåõíîëîãèé ïî ìàòå- ðèàëàì ýíöèêëîïåäèè Computer science. Òåõíîëîãèÿ êîìïüþòåðîâ — ýòî äèñöèïëèíà ðåàëèçàöèè òåîðèè è ïðèíöè- ïîâ ïîñòðîåíèÿ êîìïüþòåðîâ (frameworks, ìèêðîïðîöåññîâ, êëàñòåðîâ, ñó- ïåðêîìïüþòåðîâ è ò.ï.), à òàêæå ñèñòåìíîãî îáåñïå÷åíèÿ (ÎÑ, òðàíñëÿòîðîâ, êîìïèëÿòîðîâ è ò.ä.). Îñíîâíûìè â äàííîé òåîðèè òåõíîëîãèè ÿâëÿþòñÿ òåîðèÿ Òüþðèíãà, ôîí Íåéìàíà, àâòîìàòîâ, àëãîðèòìîâ è êèáåðíåòèêè Â.Ì. Ãëóøêî- âà [1–3], à òàêæå ìàòåìàòèêà, ëîãèêà, àíàëèç ñèñòåì è ò.ï. Òåõíîëîãèÿ êîìïüþòå- ðîâ â íàñòîÿùåå âðåìÿ ðàçâèòà òåîðåòè÷åñêè è ïðàêòè÷åñêè êàê â íàïðàâëåíèè ýëåìåíòíîé áàçû (óñòðîéñòâà, áëîêè, ìèêðîñõåìû, êàðòû è ò.ï.), òàê è èõ ñèñòåì- íîé îðãàíèçàöèè (ôðåéìâîðêè, êëàñòåðû è äð.). Óðîâåíü êîìïüþòåðíîé òåõíîëî- ãèè â ñîòíè ðàç âûøå ñèñòåìíîé è ïðîãðàììíîé. Òåõíîëîãèÿ ñèñòåì — ýòî òåîðèÿ, ìåòîäû è ïðèíöèïû ïîñòðîåíèÿ èíôîð- ìàöèîííûõ è àâòîìàòèçèðîâàííûõ ñèñòåì, à òàêæå ñèñòåì óïðàâëåíèÿ è êîìïüþ- òåðíûõ (Computer Systems). Ñðåäñòâàìè êîìïüþòåðíûõ òåõíîëîãèé ìîäåëèðóþò- ñÿ ðàçëè÷íûå òèïû êîìïüþòåðíûõ ïðèëîæåíèé (Computer Applications, Domain Engineering, Family Engineering) è íîâûõ ñðåäñòâ óïðàâëåíèÿ èíôîðìàöèîííûìè ñèñòåìàìè (ÎÑ, ÁÄ, ÑÓÁÄ è äð.). Ê ñðåäñòâàì ýòîé òåõíîëîãèè îòíîñÿòñÿ ïðèí- öèïû è òåîðèÿ ÀÑÓ Â.Ì. Ãëóøêîâà [3], à òàêæå íîâûå èíòåëëåêòóàëüíûå äèñ- öèïëèíû (êîìáèíàòîðèêà, ãðàôèêà è ò.ï.) è ìåòîäû óïðàâëåíèÿ ýêîíîìè÷åñêîé, ôèíàíñîâîé, áàíêîâñêîé äåÿòåëüíîñòüþ è ò.ä. Ïðîãðàììíàÿ èíæåíåðèÿ (Software Engineering) — ýòî ñèñòåìà ìåòîäîâ, ñïîñîáîâ è äèñöèïëèí ïëàíèðîâàíèÿ, ðàçðàáîòêè, ýêñïëóàòàöèè è ñîïðîâîæäå- íèÿ ÏÎ, îáåñïå÷èâàþùèõ ïðîìûøëåííîå ïðîèçâîäñòâî ÏÏ. Îíà âêëþ÷àåò âñå àñïåêòû ñîçäàíèÿ ÏÎ îò íà÷àëà ôîðìóëèðîâêè òðåáîâàíèé, ðàçðàáîòêè ïðîäóêòà äî åãî èñïîëüçîâàíèÿ è ñîïðîâîæäåíèÿ [6, 10–15]. Áàçèñîì äàííîé òåõíîëîãèè ÿâëÿþòñÿ òåîðèè àëãîðèòìîâ, ïðîãðàììèðîâàíèÿ, âû÷èñëåíèé è ðàñïðåäåëåííîé, òåëåêîììóíèêàöèîííîé îáðàáîòêè äàííûõ â ñåòÿõ. Ïðè ìàññîâîì ïðîèçâîäñòâå ÏÏ èñïîëüçóåòñÿ òåîðèÿ ïëàíèðîâàíèÿ, ðåãóëèðîâàíèÿ ïðîöåññîâ è ðåñóðñîâ, òåñòèðîâàíèÿ, èçìåðåíèÿ ðåçóëüòàòîâ, îöåíêè ðèñêà è äîñòèæåíèÿ êà÷åñòâà [15]. Èíôîðìàöèîííûå ñèñòåìû — ýòî êîìïüþòåðíûå ñèñòåìû îáðàáîòêè ðàç- íîîáðàçíîé èíôîðìàöèè íà ïðåäïðèÿòèÿõ è áèçíåñ äåÿòåëüíîñòè, âêëþ÷àÿ áóõ- ãàëòåðñêèé ó÷åò, ðàñ÷åò çàðàáîòíîé ïëàòû, äîêóìåíòîîáîðîò íà âñåõ óðîâíÿõ óïðàâëåíèÿ ãîñóäàðñòâîì è ò.ï., ïðåäíàçíà÷åíû äëÿ óïðàâëåíèÿ è îáðàáîòêè èí- 150 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 ôîðìàöèè, îáåñïå÷åíèÿ ïðîäóêòèâíîñòè è ýôôåêòèâíîñòè ðàáîòû ñèñòåì èíôîð- ìàòèçàöèè. Íàïðèìåð, èíôîðìàöèîííûå ñèñòåìû è ïîèñêîâûå ñèñòåìû Èíòåðíå- òà ÿâëÿþòñÿ èíñòðóìåíòàìè íàêîïëåíèÿ, ïîèñêà è âûáîðà ðàçëè÷íûõ èíôîðìà- öèîííûõ ðåñóðñîâ, íåîáõîäèìûõ äëÿ èõ ïðèìåíåíèÿ ïîëüçîâàòåëÿìè [3]. Èíôîðìàöèîííûå òåõíîëîãèè ñ 1990-õ ãîäîâ ñòàëè áàçèñîì êîìïüþòåðíîé èíôðàñòðóêòóðû ñîâðåìåííûõ êîðïîðàöèé, ïðåäïðèÿòèé è ãîñóäàðñòâåííûõ îðãàíîâ óïðàâëåíèÿ, íà êîòîðûõ ðåøàþòñÿ ðàçëè÷íûå ãëîáàëüíûå çàäà÷è îáðà- áîòêè èíôîðìàöèè. Íà èõ ðàçðàáîòêó è ïîäãîòîâêó ÈÒ-ñïåöèàëèñòîâ âûäåëÿþò- ñÿ îãðîìíûå ôèíàíñîâûå ðåñóðñû äëÿ ïîääåðæêè âñåâîçìîæíûõ èíôîðìàöèîí- íûõ ñèñòåì Èíòåðíåòà è äîñòóïà ê íèì âñåõ æåëàþùèõ. Öåëè è çàäà÷è ïîñòðîå- íèÿ èíôîðìàöèîííûõ ñèñòåì è òåõíîëîãèé èõ ïðèìåíåíèÿ ñôîðìóëèðîâàë àêàäåìèê Â.Ì. Ãëóøêîâ â [3]. Òàêèì îáðàçîì, çàðóáåæíûå òåõíîëîãèè ñïîñîáñòâóþò óñêîðåííîìó âûïóñêó êîìïüþòåðîâ è ñèñòåì äëÿ ïîòðåáíîñòåé ìèðîâîãî èíôîðìàöèîííîãî ñîîáùåñòâà. ÒÅÕÍÎËÎÃÈß ÑÁÎÐÎ×ÍÎÃÎ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß Â 70-õ ãîäàõ ïðîøëîãî âåêà ÈÊ ÀÍ ÓÑÑÐ âíåñ çíà÷èòåëüíûé âêëàä â èíäóñ- òðèþ ÏÏ íà áîëüøèõ ÝÂÌ (ÅÑ ÝÂÌ, ÁÝÑÌ-6 è äð.) Ðàçðàáàòûâàëèñü ìåòî- äû, ñðåäñòâà è èíñòðóìåíòàëüíûå ñèñòåìû äëÿ ñîçäàíèÿ ïðèêëàäíûõ ñèñòåì, ÀÑÓ è ÀÑÓÒÏ. Àâòîìàòèçàöèÿ ðàçëè÷íûõ îòðàñëåé ïðîìûøëåííîñòè, â òîì ÷èñëå ñèñòåì â îáîðîííîé ïðîìûøëåííîñòè, ïðîâîäèëàñü íà îñíîâå òåîðèè ÀÑÓ èëè ÀÑÓÒÏ [2, 3] è ñ èñïîëüçîâàíèåì ãîòîâûõ ïðîãðàìì èç Ãîñóäàðñòâåííûõ ôîíäîâ àëãî- ðèòìîâ è ïðîãðàìì. Â.Ì. Ãëóøêîâ â ðàáîòå [9] âûäåëèë òðè îñíîâíûå íàïðàâëåíèÿ ðàçâèòèÿ ÒÏ: — ìîäóëüíàÿ ñèñòåìà àâòîìàòèçàöèè ñëîæíûõ ïðîãðàìì ÀÏÐÎÏ èç ñòàí- äàðòèçîâàííûõ ïðîãðàììíûõ çàãîòîâîê «ñíèçó ââåðõ» [6, 7]; — ìåòîä ôîðìàëèçîâàííûõ òåõíè÷åñêèõ çàäàíèé äëÿ ïîñëåäîâàòåëüíîé äå- òàëèçàöèè ïðîåêòà ñ èñïîëüçîâàíèåì ðàçëè÷íûõ àëãîðèòìè÷åñêèõ ÿçûêîâ äëÿ îïèñàíèÿ îòäåëüíûõ áëîêîâ [16, 17]; — òåõíîëîãèÿ ïðîãðàììèðîâàíèÿ äëÿ àâòîìàòèçàöèè èçãîòîâëåíèÿ ñèñòåì óïðàâëåíèÿ â îáîðîííîé ïðîìûøëåííîñòè [18]. Â.Ì. Ãëóøêîâ ñ÷èòàë, ÷òî ðàçâèòèå òåõíîëîãèè êîìïëåêñíîãî ïðîåêòèðîâà- íèÿ âû÷èñëèòåëüíûõ ñèñòåì, ïðîåêòèðîâàíèå òåõíè÷åñêèõ ñðåäñòâ îáúåäèíåíî â åäèíûé ïðîöåññ ñ ïðîåêòèðîâàíèåì åãî áàçèñíîãî ìàòåìàòè÷åñêîãî îáåñïå÷å- íèÿ. Ýòà èäåÿ ðåàëèçîâàíà â ñèñòåìå ÏÐÎÅÊÒ [17], â ñèñòåìíîì îáåñïå÷åíèè ÝÂÌ ÌÈÐ-2 äëÿ ðåøåíèÿ èíæåíåðíûõ çàäà÷, à òàêæå â ÀÑÓ è ÀÑÓÒÏ. Äëÿ ðåàëèçàöèè ïîâòîðíîãî èñïîëüçîâàíèÿ ãîòîâûõ ïðîãðàìì, ïîääåðæêè èíäóñòðèè ÏÎ íà ãîñóäàðñòâåííîì óðîâíå áûëè ñîçäàíû Ôîíäû àëãîðèòìîâ è ïðîãðàìì è âûøëî ïîñòàíîâëåíèå ÃÊÍÒ ÑÑÑÐ î òîì, ÷òî ïðîãðàììû èìåþò ñòàòóñ ïðîäóêòîâ ïðîèçâîäñòâåííî-òåõíè÷åñêîãî íàçíà÷åíèÿ. Ïîâòîðíîå èñïîëüçîâàíèå ãîòîâûõ ïðîãðàìì è ìîäóëåé áûëî çàòðóäíåíî ââèäó îòñóòñòâèÿ îïèñàíèÿ èíòåðôåéñîâ â ïðîãðàììàõ Ôîíäîâ äëÿ èõ ïðèìåíå- íèÿ â ÀÑÓ. Ñáîðî÷íîå ïðîãðàììèðîâàíèå.  1975 ã. íà÷àëî ðàçâèâàòüñÿ ñáîðî÷íîå ïðîãðàììèðîâàíèå äëÿ îáåñïå÷åíèÿ èíäóñòðèè ñáîðêè èíôîðìàöèîííûõ è ïðî- ãðàììíûõ ñèñòåì èç ãîòîâûõ ìîäóëåé ñðåäñòâàìè ñèñòåìû ÀÏÐÎÏ.  ðàìêàõ ýòîé ñèñòåìû ðåàëèçîâàí ìåòîä ñáîðêè áîëüøèõ ïðîãðàìì èç ñòàíäàðòíûõ ìîäó- ëåé è èíòåðôåéñîâ, èäåíòè÷íûõ ñòûêîâî÷íûì äåòàëÿì, èñïîëüçóåìûì â àâòîìî- áèëüíîé ïðîìûøëåííîñòè. Èíòåðôåéñ ñòàë îñíîâíûì ýëåìåíòîì ñáîðî÷íîãî êîíâåéåðà [18]. Ïî àíàëîãèè ñ àâòîìàòèçèðîâàííûìè ëèíèÿìè êîíâåéåðà, íà êî- ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 151 òîðûõ ñîáèðàëèñü îòäåëüíûå êðóïíûå èçäåëèÿ èç ãîòîâûõ ñòàíäàðòíûõ äåòàëåé ñ ïîìîùüþ ñòûêîâî÷íûõ «áîëòîâ è ãàåê», â ÀÏÐÎÏ «äåòàëÿìè» ÿâëÿëèñü ïðî- ãðàììíûå ìîäóëè, îáúåäèíÿþùèåñÿ âèðòóàëüíî ñ ïîìîùüþ ñïåöèàëüíûõ ñòûêî- âî÷íûõ ýëåìåíòîâ, íàçâàííûõ èíòåðôåéñàìè. Ãëàâíûìè ýëåìåíòàìè ñáîðî÷íîãî ïðîãðàììèðîâàíèÿ ñòàëè ÊÏÈ è èíòåðôåéñû [19]. Èíòåðôåéñíûé ïåðåõîäíèê ìåæäó äâóìÿ ìîäóëÿìè âûïîëíÿë ïåðåäà÷ó äàí- íûõ îò îäíîãî ìîäóëÿ äðóãîìó, à òàêæå âîçâðàùàë ïîëó÷åííûå ðåçóëüòàòû. Åñëè òèï ïåðåäàííûõ äàííûõ è ðåçóëüòàò áûë íåýêâèâàëåíòåí èñõîäíîìó, òî ïåðåõîä- íèê òðàíñôîðìèðîâàë èõ â ñîîòâåòñòâóþùóþ ôîðìó ïðåäñòàâëåíèÿ äàííûõ ïðèíèìàþùèì ìîäóëåì. Ýòîò òåðìèí óêîðåíèëñÿ â ïðîãðàììèðîâàíèè. Îí îá- ñóæäàëñÿ íà ìåæäóíàðîäíîé êîíôåðåíöèè «Èíòåðôåéñ ÑÝ» (1987 ã.), íà êîòî- ðîé ïðåäñòàâëÿëèñü ìåæìîäóëüíûé, ìåæúÿçûêîâûé è òåõíîëîãè÷åñêèé èíòåðôåéñû [6, 7]. Ìåæìîäóëüíûé èíòåðôåéñ — ýòî èíòåðôåéñ ìåæäó ïåðåäàþùèìè è ïðèíè- ìàþùèìè ìîäóëÿìè, âûïîëíÿþùèé ôóíêöèè ïåðåäà÷è, ïðèåìà è ïðåîáðàçîâà- íèÿ íåðåëåâàíòíûõ äàííûõ. Îí âàæåí ïðè îáåñïå÷åíèè âçàèìîäåéñòâèÿ ìåæäó ðàçíîÿçûêîâûìè ìîäóëÿìè â ñòðóêòóðå ñëîæíîé ñèñòåìû. Ìåæúÿçûêîâûé èíòåðôåéñ. Äàííîå óñòðîéñòâî ïðåäñòàâëÿåò ñîâîêóïíîñòü ñðåäñòâ è ìåòîäîâ ïðåäñòàâëåíèÿ è âçàèìíî-îäíîçíà÷íîãî ïðåîáðàçîâàíèÿ ñòðóêòóð è òèïîâ äàííûõ ßÏ (íàïðèìåð, ïðåîáðàçîâàíèå ìàòðèöû ïî ñòðîêàì â ÿçûêå ÔÎÐÒÐÀÍ â ìàòðèöó ïî ñòîëáöàì â ÿçûêå PL/1 è îáðàòíî, ñèìâîëüíûõ äàííûõ â öåëîå è äð.). Òåõíîëîãè÷åñêèé èíòåðôåéñ. Ýòî ñîâîêóïíîñòü ìåòîäîâ è ñðåäñòâ äëÿ âçàèìî- ñâÿçè ïðîöåññîâ è èõ îïåðàöèé â æèçíåííîì öèêëå (ÆÖ), ðåàëèçàöèè ñëîæíûõ ïðîãðàìì, âêëþ÷àÿ íîðìàòèâíûå, ìåòîäè÷åñêèå äîêóìåíòû è ôîðìû (êàðêàñ òåõ- íîëîãè÷åñêèõ ëèíèé (ÒË), ôîðìàò äîêóìåíòîâ, ÿçûê ñâÿçè ïðîöåññîâ è äð.). Ìåòî- äèêà ñîçäàíèÿ ÒË ïðåäëîæåíà â 1987 ã. [19], àïðîáèðîâàíà è óñîâåðøåíñòâîâàíà íà øåñòè ëèíèÿõ ÀÈÑ «Þïèòåð-470». Äàëüíåéøèì ðàçâèòèåì ÒË ñòàëè çàðóáåæ- íûå ïðîäóêòîâûå ëèíèè (Product Lines) SEI http://sei.cmu.edu/productlines/ frame_report/) 2004 ã. Îðãàíèçàòîð êîíôåðåíöèè «Èíòåðôåéñ ÑÝ» ÃÊÍÒ ÑÑÑÐ íàãðàäèë êîëëåê- òèâ ðàçðàáîò÷èêîâ ñèñòåìû ÀÏÐÎÏ (âêëþ÷àÿ àâòîðà ñòàòüè) ïî÷åòíîé ãðàìîòîé. Ñáîðî÷íîå ïðîãðàììèðîâàíèå îáñóæäàëîñü íà êîíôåðåíöèÿõ ïî ÒÏ. Òàê, íà êîíôåðåíöèè ÒÏ (1984 ã.) àêàäåìèê À.Ï. Åðøîâ îòìåòèë [20], ÷òî ñáîðî÷íîå ïðî- ãðàììèðîâàíèå ðåøàåò çàäà÷è ìíîãîêðàòíîãî è áûñòðîãî ïðèìåíåíèÿ â ïðîöåññå ñîçäàíèÿ ïðîãðàììû èç çàðàíåå èçãîòîâëåííûõ «äåòàëåé». Îíî ýôôåêòèâíî è ïî- çâîëÿåò áûñòðî ðåøàòü ëþáóþ çàäà÷ó èç íåêîòîðîãî êëàññà ïðîáëåì. Êðîìå òîãî, â äîêëàäå «Îòíîøåíèå ìåòîäîëîãèè è òåõíîëîãèè ïðîãðàììèðîâàíèÿ» íà Âñåñî- þçíîé êîíôåðåíöèè ïî ÒÏ (1986 ã.) À.Ï. Åðøîâ ñôîðìóëèðîâàë ïåðñïåêòèâû ïðî- ìûøëåííîé ñáîðî÷íîé òåõíîëîãèè ïðîãðàììèðîâàíèÿ äî 2005 ã., âêëþ÷àÿ íîðìà- òèâû ïðîèçâîäèòåëüíîñòè è íàäåæíîñòè ïðîäóêòà, ýòàïû ðàçðàáîòêè ÏÏ è ìåæìî- äóëüíûõ èíòåðôåéñîâ ïîääåðæêè ýòîãî ïðîãðàììèðîâàíèÿ. Ñáîðî÷íûé êîíâåéåð. Îñíîâíûì ýëåìåíòîì ñáîðî÷íîãî êîíâåéåðà ÿâëÿþòñÿ ÒË. Èõ ñóùíîñòü è ìåòîäèêà ïîñòðîåíèÿ îïðåäåëåíà àâòîðîì äàííîé ñòàòüè è àïðîáèðîâàíà â ñèñòåìå ÀÈÑ «Þïèòåð-470» äëÿ ÷åòûðåõ îáúåêòîâ âîåí- íî-ìîðñêîãî ôëîòà ÑÑÑÐ. Ïðàêòè÷åñêè áûëè ïðåäñòàâëåíû øåñòü ÒË äëÿ èçãî- òîâëåíèÿ ðàçëè÷íûõ âèäîâ ïðîãðàìì, íåîáõîäèìûõ ïðè ðåøåíèè ïðèêëàäíûõ çà- äà÷ íà îáúåêòàõ ÀÈÑ. Èìåííî ýòè ÒË ñòàëè ïåðâûì âàðèàíòîì ïðåäñòàâëåíèÿ ëèíèé ñáîðî÷íîãî êîíâåéåðà ôàáðèêè ïðîãðàìì [21]. Ñ èõ ïîìîùüþ ñîçäàíî ïðèáëèçèòåëüíî 500 ïðîãðàìì îáðàáîòêè äàííûõ äëÿ îáúåêòîâ ÀÈÑ. 152 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 Ïîñëå ðàñïàäà Ñîâåòñêîãî Ñîþçà (1992 ã.) ìåòîäèêà ïîñòðîåíèÿ ÒË ðàçâèâàåò- ñÿ. Ýêñïåðèìåíòàëüíàÿ ôàáðèêà ïðîãðàìì ïðàêòè÷åñêè ðåàëèçîâàíà ñòóäåíòàìè â ÊÍÓ èìåíè Òàðàñà Øåâ÷åíêî (2011 ã.) êàê çàêëþ÷èòåëüíûé ýòàï ïîñòðîåíèÿ ñáî- ðî÷íîãî êîíâåéåðà Â.Ì. Ãëóøêîâà, ïðèóðî÷åííîãî ê åãî 90-ëåòèþ (2013 ã.). ÐÀÇÂÈÒÈÅ ÎÁÚÅÊÒÍÎÉ ÒÅÕÍÎËÎÃÈÈ ÏÐÎÃÐÀÌÌÈÐÎÂÀÍÈß Ïîñêîëüêó áîëüøèå ïðîãðàììíûå ñèñòåìû ñîçäàâàëèñü òðàäèöèîííûìè ìåòîäà- ìè ïðîãðàììèðîâàíèÿ íà îñíîâå ñòðóêòóðíî-ôóíêöèîíàëüíîãî ïîäõîäà è ïðîöå- äóðíûõ ßÏ, ýòî ïðèâåëî ê ïîâûøåíèþ ñëîæíîñòè òàêèõ ñèñòåì. Èõ òÿæåëî áûëî ðàçâèâàòü è èçìåíÿòü ââèäó îòñóòñòâèÿ â íèõ çàðàíåå ïðåäóñìîòðåííûõ ðåïåðíûõ òî÷åê (íàçâàííûõ òî÷êàìè âàðèàíòíîñòè) äëÿ êîððåêòèðîâêè îòäåëü- íûõ ôðàãìåíòîâ. Òðåáîâàëîñü èçìåíÿòü íå òîëüêî ïðîöåññ ðàçðàáîòêè, íî è èñ- ïîëüçîâàòü ïîÿâèâøèéñÿ îáúåêòíî-îðèåíòèðîâàííûé ïîäõîä (ÎÎÏ), êàê øàã ê óìåíüøåíèþ ñëîæíîñòè ïðîãðàììíîé ñèñòåìû (ÏÑ). Îáúåêòíî-îðèåíòèðîâàííûé ïîäõîä. Äàííûé ïîäõîä â îòëè÷èå îò òðàäè- öèîííîãî ïðåäëàãàåò ïðîåêòèðîâàòü ÏÑ ñ ïîìîùüþ îáúåêòîâ, êîòîðûå ñïîñîáíû ñàìîñòîÿòåëüíî ðàáîòàòü, ñîáèðàòüñÿ è îáúåäèíÿòüñÿ â áîëåå ñëîæíûå ñòðóêòó- ðû. Íà îñíîâå ÎÎÏ ñëîæèëñÿ íîâûé ñòèëü ïðîãðàììèðîâàíèÿ ñëîæíûõ ñèñòåì èç îáúåêòîâ â ñîîòâåòñòâóþùèõ ßÏ, áèáëèîòåê êëàññîâ, routines è òèïîâ äàííûõ, à òàêæå ñèñòåì àâòîìàòèçàöèè (ÑOM, CORBA, DCE RPC è äð.). Ãëàâíîå íàçíà÷å- íèå ñèñòåìû CORBA — ôîðìàëüíûé àïïàðàò îïðåäåëåíèÿ îáúåêòíîé ìîäåëè (ÎÌ) è áðîêåð îáúåêòíûõ çàïðîñîâ â ÏÑ, ñîçäàííûõ èç îáúåêòîâ è ýëåìåíòîâ áèáëèîòåê, êîòîðûå ìîæíî ïîïîëíÿòü è óäàëÿòü. Èíòåðôåéñ ðàçíîðîäíûõ îáúåê- òîâ çàäàåòñÿ íà ÿçûêå IDL â âèäå stub è skeleton. Áðîêåð ðåàëèçóåò âçàèìîäåéñòâèå ðàçíîÿçûêîâûõ îáúåêòîâ, êîòîðûå îïèñûâàþòñÿ â ÿçûêàõ Ñ+, JAVA, SMAILTALK, COBOL, ADA è äð. Îáúåêòíî-êîìïîíåíòíûé ìåòîä. Îòäåë «Ïðîãðàììíàÿ èí- æåíåðèÿ» ÈÏÑ ÍÀÍÓ, íà÷èíàÿ ñ 1992 ïî 2012 ãã., âûïîëíÿë ôóí- äàìåíòàëüíûå ïðîåêòû, ôèíàíñè- ðóåìûå ÃÊÍÒ è ÍÀÍÓ, ïî ðàçâè- òèþ îáúåêòíî-îðèåíòèðîâàííîãî, êîìïîíåíòíîãî, ãåíåðèðóþùåãî ïðîãðàììèðîâàíèÿ [22, 23]. Íà ðèñ. 1 ïîêàçàí îáúåêòíî-êîìïî- íåíòíûé ìåòîä (ÎÊÌ) ñ ÷åòûðü- ìÿ óðîâíÿìè îáúåêòíîãî ïðîåêòè- ðîâàíèÿ äîìåíîâ: — íà îáîáùåííîì óðîâíå îïðåäåëÿþòñÿ áàçîâûå ïîíÿòèÿ, îáúåêòû ôóíêöèè ( )Oi äîìåíà áåç ó÷åòà èõ ñóùíîñòè è ñâîéñòâ, à òàêæå îáúåêòû äàííûõ ( )I , íå- îáõîäèìûå äëÿ ðàáîòû äîìåíà; — íà ñòðóêòóðíîì óðîâíå ñòðîÿòñÿ ãðàôû ôóíêöèé è äàí- íûõ îáúåêòîâ, à òàêæå óñòàíàâ- ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 153 O11 Ôó í ê ö è è Ð Ï Ñ R4 R3 Ñâîéñòâà îáúåêòîâ ÐÏÑ O11 Îáúåêòû ôóíêöèé (O1) I. Îáîáùåííûé óðîâåíü …O12 O1n Îáúåêòû èíòåðôåéñû (I2) I11 I12 … I1k II. Ñòðóêòóðíûé óðîâåíü Ãðàô ôóíêöèé (O1, E1) Ãðàô èíòåðôåéñîâ (O2, E2) … O11 I11 I12 I1n O11 I12I11 I13 III. Õàðàêòåðèñòè÷åñêèé óðîâåíü Äàííûå (O2, E2) (O1, E1) IV. Ïîâåäåí÷åñêèé óðîâåíü Ãðàô ñâîéñòâ îáúåêòîâ R5 I11 I12 I21 I22 I23 I13 (O11, I22) (I11, I22) (I12, I21) (I12, I22) (I13, I21) Ðèñ. 1. Óðîâíè ïðîåêòèðîâàíèÿ äîìåíà ëèâàþòñÿ èõ ñâÿçè è îòíîøåíèÿ, ãðàôû îòîáðàæàþòñÿ â ÎÌ, â êîòîðîé äàåòñÿ îïè- ñàíèå îáúåêòîâ è âçàèìîîòíîøåíèÿ ìåæäó íèìè; — õàðàêòåðèñòè÷åñêèé óðîâåíü ïðåäíàçíà÷åí äëÿ çàäàíèÿ ñâîéñòâ îáúåêòîâ (âíåøíèõ è âíóòðåííèõ), êîòîðûå óêàçûâàþò íà ïðèíàäëåæíîñòü ê íåêîòîðîìó êëàññó; — ïîâåäåí÷åñêèé óðîâåíü ñëóæèò äëÿ îïèñàíèÿ ïîâåäåíèÿ îáúåêòîâ, êîòî- ðîå çàâèñèò îò âûïîëíåíèÿ äåéñòâèé íàä îáúåêòàìè è âûçûâàåìûìè èìè ñîáûòèÿìè.  ÎÊÌ îáúåêòû-ôóíêöèè (ìåòîäû) îáúåäèíÿþòñÿ â êëàññû è ïîäêëàññû â ñîîòâåòñòâèè ñ èõ âíåøíèìè è âíóòðåííèìè õàðàêòåðèñòèêàìè. Îáúåêòû íà- ñëåäóþò ñâîéñòâà, ôóíêöèè è èíòåðôåéñ äðóãèõ îáúåêòîâ, ïîëèìîðôíûõ ìåæäó ñîáîé ÷åðåç èíòåðôåéñû. Ðàçðàáîòàí ôîðìàëüíûé ìåõàíèçì ïåðåõîäà îò îáúåê- òîâ ê êîìïîíåíòàì è ïðîãðàììíûì èíòåðôåéñàì [21, 23, 24]. Äëÿ îáåñïå÷åíèÿ èçìåíÿåìîñòè è àäàïòèâíîñòè ñòðóêòóðû ñëîæíûõ ÏÑ, ñî- çäàííûõ èç ãîòîâûõ ïðîãðàììíûõ ðåñóðñîâ (ìîäóëåé, îáúåêòîâ, êîìïîíåíòîâ è ñåðâèñîâ), äàííûé ÎÊÌ ïîïîëíåí ìîäåëÿìè âçàèìîäåéñòâèÿ, âàðèàáåëüíîñòè ÏÑ è èõ ñåìåéñòâ [25]. Èíæåíåðèÿ êà÷åñòâà ÏÑ.  ðàìêàõ ôóíäàìåíòàëüíûõ ïðîåêòîâ ÈÏÑ ÍÀÍ Óêðàèíû (1998–2012 ãã.) ñîçäàíà îðèãèíàëüíàÿ òåîðèÿ è ìåòîäîëîãèÿ ìîäåëèðî- âàíèÿ ïðåäìåòíûõ îáëàñòåé èç îáúåêòîâ [23]. Îíà âêëþ÷àåò âîïðîñû èíæåíåðèè ïðèëîæåíèé, îñíîâàííîé íà ïðîöåññàõ ÆÖ, ñòðóêòóðíîé, ïîâåäåí÷åñêîé è ôóíê- öèîíàëüíîé ìîäåëÿõ è ïîäõîäàõ ê îáåñïå÷åíèþ êà÷åñòâà ñèñòåì, íà÷èíàÿ ñ ðàí- íèõ ïðîöåññîâ ïðîåêòèðîâàíèÿ ýëåìåíòîâ ÏÑ è çàâåðøàÿ èõ òåñòèðîâàíèåì. Èíæåíåðèÿ êà÷åñòâà îñíîâàíà íà ðåçóëüòàòàõ âåðèôèêàöèè è òåñòèðîâàíèÿ.  [23] ðàçðàáîòàíà êîíöåïòóàëüíàÿ ìîäåëü ïðîöåññà òåñòèðîâàíèÿ ñåìåéñòâà ÏÑ èç ãîòîâûõ ðåñóðñîâ SFT TM TD TA Env� � �; , , , ãäå TM — ïîäïðîöåññ óïðàâëåíèÿ òåñòèðîâàíèåì; TD è TA — ïîäïðîöåññû òåñòèðîâàíèÿ ïðåäìåòíîé îáëàñòè è ïðèëîæåíèé ñîîòâåòñòâåííî; Env — êîíöåïòóàëüíàÿ è èíôîðìàöèîííàÿ ñðåäà ïðîöåññà òåñòèðîâàíèÿ ÑÏÑ. Ïðè ýòîì âñå ïîäïðîöåññû èìåþò óíèôèöèðîâàííîå ôîðìàëüíîå ïðåäñòàâëåíèå TM Task TM TD TA En TM CM TM� � �( , , ), ( ), ( ) , En TM En TD En TA En( ) ( ) ( )� � � � , ãäå Task — çàäà÷è, ðàçðåøèìûå ïðè âûïîëíåíèè ñîîòâåòñòâóþùåãî ïîäïðî- öåññà; En — êîíöåïòóàëüíàÿ è èíôîðìàöèîííàÿ ñðåäà è CM — ïîäìîäåëü êî- îðäèíàöèè îïåðàöèé. Ñîñòàâ êîíöåïòóàëüíîé ñðåäû En� îïðåäåëÿåòñÿ âûðàæåíèåì En TG SG T P RG RP� � � � � � � , ãäå TG è SG — òåñòû àêòèâîâ è ïðîãðàììíûõ ÊÏÈ ñîîòâåòñòâåííî; T è P — ìíî- æåñòâî òåñòîâ è òåñòèðîâàííûõ ïðèëîæåíèé ñîîòâåòñòâåííî; RG è RP — îò÷åòû î âûïîëíåíèè òåñòîâûõ ÊÏÈ è òåñòîâ ñîîòâåòñòâåííî. Ñîãëàñíî ýòîé ìîäåëè ôîðìèðóþòñÿ äàííûå îá èíòåíñèâíîñòè îøèáîê äëÿ îðãàíèçàöèè îöåíêè íàäåæíîñòè â ìîäåëè êà÷åñòâà ÏÑ. Âàæíûì âêëàäîì â èíäóñòðèþ ÏÏ ÿâèëàñü ðàçðàáîòêà îñíîâ êà÷åñòâà ÏÑ, êîòîðàÿ ïðîâîäèëàñü â ðàìêàõ ÑÝ ïîä ðóêîâîäñòâîì ÃÊÍÒ. Ïåðâûé ñîâìåñ- òíûé ïðîåêò ïî êà÷åñòâó îáñóæäàëñÿ â Äðåçäåíå (1987 ã.). Ïîñëå ðàñïàäà ÑÑÑÐ ïðîáëåìàòèêà êà÷åñòâà ðåøàëàñü â ïðîåêòàõ ÃÊÍÒ Óêðàèíû (1992–1998 ãã.) ïîä ðóêîâîäñòâîì À.Ô. Êóëàêîâà, à òàêæå â òåõíîëîãèè äîêàçàòåëüíîãî ïðîãðàììè- ðîâàíèÿ è îðãàíèçàöèè ïðîâåäåíèÿ îöåíêè êà÷åñòâà è ñåðòèôèêàöèè ïðîäóêòà. Ñîçäàííûå ìîäåëè è ìåòîäû îöåíêè êà÷åñòâà âíåäðåíû â ðàìêàõ ïðîåêòà èíôîð- 154 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 ìàòèçàöèè ÌÎ Óêðàèíû, îíè âêëþ÷àëè ìåòîäèêè äîñòèæåíèÿ è óïðàâëåíèÿ êà- ÷åñòâîì ÏÑ, îöåíèâàíèÿ ñòîèìîñòè è òðóäîåìêîñòè ðàáîò, ïðîâåäåíèÿ ýêñïåð- òíî-àíàëèòè÷åñêîãî îöåíèâàíèÿ ïðîöåññîâ è ïðîäóêòîâ íà âñåõ ïðîöåññàõ ÆÖ, òåñòèðîâàíèÿ è èçìåðåíèÿ ïîêàçàòåëåé êà÷åñòâà äëÿ ãîòîâîãî ïðîäóêòà [12]. Ïî ïðîáëåìàòèêå èíæåíåðèè êà÷åñòâà, òåñòèðîâàíèÿ, ýêñïåðòíî-àíàëèòè÷åñ- êîãî îöåíèâàíèÿ êà÷åñòâåííûõ è ýêñïëóàòàöèîííûõ ïîêàçàòåëåé ÏÑ çàùèùåíû òðè êàíäèäàòñêèå äèññåðòàöèè (2004–2008 ãã.). Íîâûå íàó÷íûå ðåçóëüòàòû îïèñàíû â ó÷åáíèêàõ ïî ïðîãðàììíîé èíæåíå- ðèè [10–15, 27] è óïðàâëåíèþ ïðîãðàììíûìè ïðîåêòàìè [28], à òàêæå â ìîíîãðà- ôèÿõ [15, 29]. Ó÷åáíèê [13] íà êîíêóðñå Microsoft (2006 ã., ÌÃÓ) ïîëó÷èë ïðèçî- âîå ìåñòî è âêëþ÷åí â ñîñòàâ ñàéòà www.intuit.ru. Íîâûé âàðèàíò ó÷åáíèêà [14] ïðåäñòàâëåí â ýëåêòðîííîì âèäå íà ñòóäåí÷åñêîé ôàáðèêå ïðîãðàìì http://programsfactoty.univ.kiev.ua. Ðåçóëüòàòû òåîðåòè÷åñêèõ è ïðîãðàììíûõ ðàçðàáîòîê îïóáëèêîâàíû â ñòàòüÿõ è äîêëàäûâàëèñü íà êîíôåðåíöèÿõ ICTERI [26, 30, 41]. Íîâûå àñïåêòû òåîðèé ïðå- ïîäàþòñÿ íà íîðìàòèâíûõ êóðñàõ «Ïðîãðàììíàÿ èíæåíåðèÿ» â ÌÔÒÈ è «Òåõíîëî- ãèÿ ïðîãðàììèðîâàíèÿ èíôîðìàöèîííûõ ñèñòåì» â ÊÍÓ èìåíè Òàðàñà Øåâ÷åíêî (2001–2013 ãã.). ÔÀÁÐÈÊÈ ÈÍÄÓÑÒÐÈÈ ÏÐÎÃÐÀÌÌÍÛÕ ÏÐÎÄÓÊÒΠÏîñëåäíåå äåñÿòèëåòèå õàðàêòåðèçóåòñÿ äàëüíåéøèì óñîâåðøåíñòâîâàíèåì îáúåê- òîâ è ëèíèé ñáîðêè íà ôàáðèêàõ ïðîãðàìì. Àíàëèç ïîêàçàë, ÷òî òåõíîëîãèÿ ñáîðêè [31] è ïðèíöèïû âçàèìîäåéñòâèÿ êîìïîíåíòîâ [32] ïðåäñòàâëåíû â çàðó- áåæíûõ ðàáîòàõ ìóëüòèòåõíîëîãèÿ Ê. ×åðíåöêîãî è Ê. Àéçåíåêåðà [33] ñ ëåéòìî- òèâîì «îò ðó÷íîãî òðóäà ê êîíâåéåðíîé ñáîðêå», òåõíîëîãèÿ È. Áåÿ ñ àâòîìàòè- çèðîâàííûìè ïðèåìàìè è ñïîñîáàìè âçàèìîäåéñòâèÿ ðàçíîÿçûêîâûõ ïðîã- ðàìì [33], ïîòî÷íàÿ ñáîðêà ñ èñïîëüçîâàíèåì UML ôàáðèêè Äæ. Ãðèíôèëüäà [34] è Ã. Ëåíöà â VS.NET [35], ñáîðî÷íûé êîíâåéåð Ì. Ôàóëåðà, ÅÏÀÌ [36] è äð. Îáùèì â ïðîàíàëèçèðîâàííûõ ôàáðèêàõ ïðîãðàìì [37] ÿâëÿþòñÿ àâòîìàòè- çèðîâàííûå ëèíèè ñáîðêè ðàçëè÷íûõ âèäîâ ïðîãðàìì äëÿ ìàññîâîãî èñïîëüçîâà- íèÿ, ëèíèè AppFab â èíäóñòðèàëüíûõ ôèðìàõ ïðîèçâîäñòâà ïðîäóêòîâ (IBM, MS.Net, Sun Microsystems, Oberon, Unix, Intel è äð.) è Software Product Lines (http://www.sei.cmu.edu/productlines/). Ôàáðèêè ïðåäîñòàâëÿþò íàáîð ðåñóðñîâ, ñðåäñòâ è èíñòðóìåíòîâ äëÿ àâòî- ìàòèçàöèè ïðîèçâîäñòâà ÏÏ, óâåëè÷åíèÿ ïðîèçâîäèòåëüíîñòè èõ ðàçðàáîòêè íà êàæäîì ïðîöåññå ÆÖ è ñîêðàùåíèÿ îáúåìîâ çà ñ÷åò èñïîëüçîâàíèÿ ãîòîâûõ ðå- ñóðñîâ (ìîäóëåé, îáúåêòîâ, êîìïîíåíòîâ, ñåðâèñîâ). Íåêîòîðûå ôàáðèêè ïðî- ãðàìì èñïîëüçóþò íîâûå ïîäõîäû (UML, WorkFlow, DSL è äð.), à òàêæå ñåðâèñ- íî-êîìïîíåíòíóþ IBM-òåõíîëîãèþ ïî ðàçðàáîòêå ïðîñòûõ è ñëîæíûõ ÏÏ. Èñõîäÿ èç îïûòà àâòîìàòèçèðîâàííîé ñáîðêè ðàçíîðîäíûõ ïðîãðàìì â ßÏ è àíàëèçà ñîâðåìåííûõ çàðóáåæíûõ ôàáðèê ïðîãðàìì èíäóñòðèàëüíîãî òèïà (IBM, OMG, Microsoft, Oberon è ò.ï.), ñôîðìèðîâàëñÿ îáùèé íàáîð ýëåìåíòîâ, õàðàêòåðè- çóþùèõ ëþáóþ ôàáðèêó ïðîãðàììû èç ãîòîâûõ ïðîãðàììíûõ ðåñóðñîâ: — ñïåöèôèêàöèÿ ïàñïîðòíûõ äàííûõ ãîòîâûõ ïðîãðàììíûõ ðåñóðñîâ â îä- íîì èç ÿçûêîâ èíòåðôåéñà (IDL, API, SIDL, WSDL, RAS è ò.ï.); — îïåðàöèîííàÿ ñðåäà, ñîäåðæàùàÿ ñèñòåìíûå ñðåäñòâà è èíñòðóìåíòû äëÿ ñèñòåìíîé ñáîðêè ðàçíîðîäíûõ ðåñóðñîâ (íàïðèìåð, http://nant.sourceforge.net/); — ÒË Product Lines èçãîòîâëåíèÿ ñåìåéñòâ ÏÑ èç ãîòîâûõ ïðîäóêòîâ; — ìåòîä ðàçðàáîòêè ÊÏÈ è èõ ñáîðêè ñ ïîìîùüþ èíòåðôåéñîâ íà çûêàõ UML, DSL è äð.; — íàáîð êîíêðåòíûõ ëèíèé ïðîèçâîäñòâà ïðîãðàìì. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 155 Òàêèì îáðàçîì, òåõíîëîãèÿ ñáîðî÷íîãî ïðîãðàììèðîâàíèÿ ðàñøèðåíà íîâû- ìè âèäàìè ðåñóðñîâ, íàêîïëåíî áîëüøîå êîëè÷åñòâî ïðîãðàìì â Èíòåðíåíòå, â òîì ÷èñëå â èíäóñòðèè íàó÷íîãî ñîôòâåðà Åâðîïåéñêîãî ïðîåêòà Grid, Cloud Computing è äð. Ñôîðìèðîâàíû ñîòíè ôàáðèê ïðîãðàìì ðàçëè÷íîãî íàçíà÷åíèÿ. Ñðåäè íèõ îïèñàííûå ðàíåå ôàáðèêè è ñîçäàííàÿ ñòóäåí÷åñêàÿ ôàáðèêà ïðî- ãðàìì â ÊÍÓ èìåíè Òàðàñà Øåâ÷åíêî íà âåá-ñàéòå http://programsfactory.univ. kiev.ua [30, 38]. Âàæíûé ðåçóëüòàò ýòîãî ïåðèîäà ðàçâèòèÿ ÒÏ — ôîðìèðîâàíèå òåîðåòè÷åñêèõ è ïðàêòè÷åñêèõ àñïåêòîâ êîìïîíåíòíîãî ïðîãðàììèðîâàíèÿ, òåîðèÿ àíàëèçà ïðåä- ìåòíîé îáëàñòè èç îáúåêòîâ, ñîçäàíèå èç íèõ îáúåêòíîé ìîäåëè ñ èñïîëüçîâàíèåì ôîðìàëüíûõ ìàòåìàòè÷åñêèõ îïåðàöèé îïðåäåëåíèÿ îòäåëüíûõ ýëåìåíòîâ ýòîé ìî- äåëè. Ðàçðàáîòàí ìåòîä òðàíñôîðìàöèè îáúåêòíîé ìîäåëè â èçîìîðôíóþ êîìïîíåí- òíóþ ìîäåëü ñ êîìïîíåíòàìè è èíòåðôåéñàìè [39, 40]. Ýòî äàëî âîçìîæíîñòü èñ- ïîëüçîâàòü ìåõàíèçìû ñáîðà êîìïîíåíòîâ ïî ÒË è òåì ñàìûì îáîáùèòü ñáîðî÷íîå ïðîãðàììèðîâàíèå è íà ïðîöåññû òåõíîëîãèè. Îïðåäåëåíà êîìïîíåíòíàÿ àëãåáðà è îïåðàöèè âíåñåíèÿ èçìåíåíèé â ñëîæíóþ ñòðóêòóðó ÏÑ è ÑÏÑ [41]. Ìåòîäîëîãèÿ ïîñòðîåíèÿ ÒË.  íàñòîÿùåå âðåìåíÿ ïîÿâèëèñü íîâûå âàðèàíòû ìåòîäà ïîñòðîåíèÿ ÒË íà ýòàïå òåõíîëîãè÷åñêîé ïîäãîòîâêè ðàáîò (ÒÏÐ) [20, 40] è ïðîäóêòîâûõ ëèíèé (Product Lines) (www.sei. com.edu). Ñîãëàñíî ÒÏÐ ëèíèþ ìîæíî ïðåäñòàâèòü â âèäå ñõåìû (ìàðøðóòà) èç ïðîöåññîâ è îïåðàöèé (ðèñ. 2). Êàæäîé îïåðàöèè ñõåìû ñòàâÿòñÿ â ñîîòâåòñòâèå ýëåìåíòû, êîòîðûå îáåñïå- ÷èâàþò ðåàëèçàöèþ ÊÏÈ èëè áóäóùåé ÏÑ ñðåäñòâàìè ßÏ, èíñòðóìåíòàìè è ñòàíäàðòíûìè òåõíîëîãè÷åñêèìè ìîäóëÿìè (ÒÌ) ïîääåðæêè ðåàëèçàöèè ñïå- öèôèêè ïðåäìåòíîé îáëàñòè (ÏðÎ) ñ ïîìîùüþ êîìïëåêñà íîðìàòèâíî-ìåòîäè- ÷åñêîãî îáåñïå÷åíèÿ. Âñå ðåñóðñû ñâÿçûâàþòñÿ òåõíîëîãè÷åñêèì ìàðøðóòîì, óïîðÿäî÷èâàþùèì ïðîöåññû è îïåðàöèè ÒË ïî çàïîëíåíèþ êàðêàñîâ ïðîåêòíûõ ðåøåíèé, èõ ðåàëè- çàöèè è èçìåíåíèþ ýëåìåíòîâ ÏÏ. Êîíå÷íîé îïåðàöèåé ìàðøðóòà ÿâëÿåòñÿ îïå- ðàöèÿ îöåíêè êà÷åñòâà ïðîäóêòà. Íàáîð ïðîöåññîâ ÒË ñîçäàåòñÿ ñ ó÷åòîì òðåáî- âàíèé ìåæäóíàðîäíîãî ñòàíäàðòà ISO /IEC ÆÖ 12207–2007. Âûáèðàþòñÿ ìåòî- äû, ñðåäñòâà è èíñòðóìåíòû ïðåîáðàçîâàíèÿ ñîñòîÿíèé ýëåìåíòîâ íà îïåðàöèÿõ ìàðøðóòà äëÿ ïîëó÷åíèÿ ïðîìåæóòî÷íîãî ýëåìåíòà. Ìàðøðóò ÒË îïèñûâàåòñÿ ñïåöèàëüíûì ÿçûêîì BDHN ñ èñïîëüçîâàíèåì ñïåöèàëüíûõ ôîðì îïèñàíèÿ ïîñëåäîâàòåëüíîé òðàíñôîðìàöèè ñîñòîÿíèé ýëåìåíòîâ è äàííûõ, ïåðåäàâàåìûõ ìåæäó ÒÌ. 156 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 O1 O2 O3 ? O4 O5 Âõîä Âûõîä Ìåòðèêè èíôîðìàöèîííîå ìàòåìàòè÷åñêîå ïðîãðàììíîåìåòîäè÷åñêîå Ðåñóðñû Îïåðàöèè ïðîöåññà Îáåñïå÷åíèå ïðîöåññîâ ÒË Ðèñ. 2. Ñõåìà ÒË Ìåòîäîëîãèÿ ïîñòðîåíèÿ ïðîäóê- òîâîé ëèíèè. Äàííàÿ ëèíèÿ âêëþ÷àåò product l ine (ëèíèþ ïðîäóêòîâ) è product family (ñåìåéñòâî ÏÏ). Ýòè òåðìèíû îïðåäåëåíû â ñëîâàðå ISO/IEC FDIS 24765:2009 (E) “Systems and Software Engineering Vocabulary” êàê «ãðóïïà ïðîäóêòîâ èëè óñëóã, èìåþ- ùèõ îáùåå óïðàâëÿåìîå ìíîæåñòâî ñâîéñòâ ÏÏ–ÑÏÏ, êîòîðûå óäîâëåòâî- ðÿþò ïîòðåáíîñòÿì îïðåäåëåííîãî ñåã- ìåíòà ðûíêà èëè âèäó äåÿòåëüíîñòè». Îñíîâà ïîñòðîåíèÿ äàííîé ïðîäóê- òîâîé ëèíèè — èíæåíåðíàÿ è ïðîöåñ- ñíàÿ ìîäåëè. Èíæåíåðíàÿ ìîäåëü ïðåä- íàçíà÷åíà äëÿ ïëàíèðîâàíèÿ ïðîèçâî- äñòâà ÏÑ ñ ó÷åòîì ïðåäìåòíîé îáëàñòè èõ ïðèìåíåíèÿ, îãðàíè÷åíèé è ñòðàòåãèè ïðîèçâîäñòâà ïðîäóêòà èõ ãîòîâûõ ÊÏÈ (ðèñ. 3). Ðàçðàáîòêà ìåòîäà ñáîðêè ïðîäóêòà è ñåìåéñòâà ÏÏ îáåñïå÷èâàåò ïîñòðîåíèå ïëàíà ðåàëèçàöèè êàæäîãî îòäåëüíîãî ïðîãðàììíîãî êîìïîíåíòà èç ìíîæåñòâà ðàçðàáîòàííûõ ïðîãðàììíûõ ðåñóðñîâ. Óïðàâëåíèå ðàçðàáîòêîé ÑÏÏ èç ãîòîâûõ ÊÏÈ ñîñòîèò â êîîðäèíàöèè äåÿ- òåëüíîñòè ïî âûïóñêó íåîáõîäèìûõ ïðîäóêòîâ è ðåøåíèÿ îðãàíèçàöèîííîãî è òåõíè÷åñêîãî óïðàâëåíèÿ êàæäûì ÷ëåíîì ñåìåéñòâà ÑÏÏ. Ïðîöåññíàÿ ìîäåëü âêëþ÷àåò ìíîæåñòâî ïðîöåññîâ, âûïîëíÿåìûõ íà äâóõ óðîâíÿõ: èíæåíåðèè ÏðÎ, îáåñïå÷èâàþùàÿ ïîâòîðíîå èñïîëüçîâàíèå (for reuse), è èíæåíåðèè ïðèëîæåíèé Engineering Applications (èëè èíæåíåðèè ÏÑ) êàê ðàç- ðàáîòêè ñ èñïîëüçîâàíèåì ÊÏÈ (with reuse).  öåëîì îïèñàííûå ëèíèè ðàçðàáîòêè è ñáîðêè ïîâûøàþò ïðîèçâîäèòåëü- íîñòü èñïîëíèòåëåé, óëó÷øàþò óñëîâèÿ èõ ðàáîòû, ñîêðàùàþò ÷èñëî ñáîðùèêîâ, ïîâûøàþò êà÷åñòâî è ñíèæàþò ñåáåñòîèìîñòü âûïóñêà ïðîäóêòà. Ýòè ëèíèè ðåà- ëèçîâàíû íà ôàáðèêå ïðîãðàìì, êàê îáðàçåö ñáîðî÷íîãî êîíâåéåðà àêàäåìèêà Â.Ì. Ãëóøêîâ ïî ðàçðàáîòêå è ñáîðêå ÊÏÈ, à òàêæå äëÿ îáó÷åíèÿ äèñöèïëèíàì ïðîãðàììíîé èíæåíåðèè è ïðîãðàììèðîâàíèþ â ðàçíûõ ßÏ. Ôàáðèêè ïðîãðàìì. Âïåðâûå â Óêðàèíå ôàáðèêà ïðîãðàìì áûëà ïîñòðîåíà ñîãëàñíî êîíöåïöèè ñáîðî÷íîãî êîíâåéåðà Â.Ì. Ãëóøêîâà â ÊÍÓ íà ôàêóëüòåòå êèáåðíåòèêè [30, 38]. Ôàáðèêà ñîçäàâàëàñü äëÿ îáó÷åíèÿ âñåì àñïåêòàì ïðîãðàì- ìíîé èíæåíåðèè, èíôîðìàöèîííûõ ñèñòåì è ïîñòðîåíèÿ ñòóäåíòàìè ïðîãðàì- ìíûõ àðòåôàêòîâ â ðàìêàõ ëàáîðàòîðíûõ è äèïëîìíûõ ðàáîò. Àðòåôàêòû è ïðî- ãðàììû ñïåöèôèöèðóþòñÿ â ñòàíäàðòíîì ÿçûêå WSDL è ñîõðàíÿòñÿ â ðåïîçèòî- ðèè ïðîãðàìì è èíòåðôåéñîâ. Ôàáðèêà îáîðóäîâàíà ñëåäóþùèìè ÒË: ïðîãðàììèðîâàíèå â ÿçûêàõ Ñ# VS.Net, JAVA, DSL; ñáîðêà ïðîãðàìì â ñëîæíûå ñòðóêòóðû; å-îáó÷åíèå îñíîâàì ïðîãðàììíîé èíæåíåðèè íà ñàéòå ÊÍÓ èìåíè Òàðàñà Øåâ÷åíêà MS.Net è îòêðûòûõ ñèñòåì Eclipse-DSL, Protege è ò.ï. [38]. Ãî- òîâûå ÊÏÈ è àðòåôàêòû â ñòàíäàðòèçîâàííîì âèäå çàïîìèíàþòñÿ â ðåïîçèòîðèè, êîòîðûé ìîæåò ïîïîëíÿòüñÿ è äðóãèìè ïðîäóêòàìè. Ôàáðèêó ïðîãðàìì ðàçðàáîòàëè ñòóäåíòû À. Àðîíîâ, À. Äçþáåíêî è À. Îñò- ðîâñêèé ôàêóëüòåòà êèáåðíåòèêè ÊÍÓ ïîä ðóêîâîäñòâîì àâòîðà ñòàòüè. Ôàáðèêà ðàáîòàåò â Èíòåðíåòå ñ 2012 ã. (http://programsfactoty.univ.kiev.ua). Îíà âõîäèò â ñî- ñòàâ ÈÒÊ [38], êàê èíñòðóìåíò ýëåêòðîííîãî îáó÷åíèÿ äèñöèïëèíå «Ïðîãðàììíàÿ èíæåíåðèÿ» îáùåãî êóðñà ýëåêòðîííîãî îáó÷åíèÿ íà ôàêóëüòåòå êèáåðíåòèêè ÊÍÓ. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 157 Ðàçðàáîòêà ÊÏÈ Ðàçðàáîòêà ÏÑ Óïðàâëåíèå ÊÏÈ Íîâûå òðåáîâàíèÿ ñ â ÿ çü Ð å ñó ð ñû Î áð àò íà ÿ ñâÿçü Ð å ñóð ñû Î á ð à òí à ÿ Ðèñ. 3. Ìîäåëü èíæåíåðèè ïðîäóêòà Íà ñàéòå ôàáðèêè èñïîëüçîâàíà ëèöåíçèîííàÿ âåðñèÿ VS.Net â êà÷åñòâå ñðå- äû åãî ôóíêöèîíèðîâàíèÿ ñ èñïîëüçîâàíèåì ìíîãîÿçû÷íîé ðàçðàáîòêè ÏÑ è ñðåäñòâ êîëëåêòèâíîãî èçãîòîâëåíèÿ ÏÏ. Íà ôàáðèêå èìåþòñÿ ñëåäóþùèå ÒË: — ïðîãðàììèðîâàíèå â Ñ# VS.Net ñ ïîëó÷åíèåì ãîòîâîãî ïðîäóêòà è ñîõðà- íåíèåì åãî ñòàíäàðòíîãî âèäà â ðåïîçèòîðèè; — çàíåñåíèå è ïîäáîð ãîòîâûõ àðòåôàêòîâ è ïðîãðàìì èç ðåïîçèòîðèÿ äëÿ äàëüíåéøåãî èñïîëüçîâàíèÿ; — ñáîðêà ãîòîâûõ ïðîãðàìì â ñëîæíûå ïðîãðàììíûå ñòðóêòóðû ñèñòåì; — îáó÷åíèå ìåòîäîëîãèè ïðîåêòèðîâàíèÿ ÏÑ è ñåìåéñòâ ñèñòåì ïî å-ó÷åá- íèêó «Ïðîãðàììíàÿ èíæåíåðèÿ» è ó÷åáíèêó (www.intuit.ru) [13].  ÈÒÊ ðåàëèçîâàíû ñðåäñòâà: — ãåíåðàöèÿ ÏÑ, îïèñàííûõ â ÿçûêå DSL ñ èñïîëüçîâàíèåì èíñòðóìåíòàëü- íûõ ñèñòåì Eclipse — DSL, Tool DSL Microsofts; — òðàíñôîðìàöèÿ GDT � FDT îáùèõ ÒÄ ê ôóíäàìåíòàëüíûì ÒÄ íà îñíî- âå ñðåäñòâ ãåíåðàöèè äàííûõ ñòàíäàðòà ISO/IEC 11404–2007; — îíòîëîãè÷åñêàÿ ìîäåëü ñòàíäàðòà ÆÖ ISO/IEC 12207 [26, 42]; — âçàèìîäåéñòâèå ðàñïðåäåëåííûõ ñèñòåì VS.NET-JAVA, Eclipse-VS.Net è äð. Íà ÈÒÊ (http://sestudy.edu-ua.net) ðàçìåùåíû íàó÷íûå ñòàòüè ðàçðàáîò÷èêîâ ïî ôóíäàìåíòàëüíûì îñíîâàì èíäóñòðèè ÏÏ, å-ìîíîãðàôèÿ [29] è äîêëàäû íà ìåæäóíàðîäíûõ êîíôåðåíöèÿõ [26]. Ñàéò îðèåíòèðîâàí íà îáó÷åíèå ñòóäåíòîâ ôóíäàìåíòàëüíûì îñíîâàì êóðñîâ ÒÏ è SE â äðóãèõ óíèâåðñèòåòàõ Óêðàèíû, ñòðàí ÑÍÃ, à òàêæå â àíãëîÿçû÷íûõ ñòðàíàõ ïî ñïåöèàëüíîñòÿì: èíôîðìàòèêà, ïðîãðàììíàÿ èíæåíåðèÿ è Computer Sciences. Îáà ñàéòà ìíîãîÿçû÷íûå (óêð., ðóñ., àíãë.), óíèêàëüíû è îðèãèíàëüíû, èìè ïîëüçóþòñÿ áîëåå 15000 ðåñïîíäåíòîâ. ÇÀÊËÞ×ÅÍÈÅ Ïðèâåäåíû îñíîâíûå ïóòè ïîñòåïåííîãî ôîðìèðîâàíèÿ îòå÷åñòâåííîé òåõíî- ëîãèè ñáîðî÷íîãî ïðîãðàììèðîâàíèÿ ñëîæíûõ ñèñòåì èç ãîòîâûõ ÊÏÈ è ðåà- ëèçàöèè ñáîðî÷íîãî êîíâåéåðà. Ãëàâíûìè ñîñòàâëÿþùèìè ÒÏ ÿâëÿþòñÿ: — îñíîâíûå ïîíÿòèÿ è çàäà÷è ïðîãðàììèðîâàíèÿ (ÿçûêè, òðàíñëÿòîðû, ñèñ- òåìû àâòîìàòèçàöèè ÏÏÏ, ÀÑÓ è äð.), à òàêæå òåõíîëîãèè ïðîãðàììèðîâàíèÿ, ðåàëèçàöèÿ ÀÑÓÒÏ äëÿ ìåòàëëóðãè÷åñêîãî êîìáèíàòà ÃÄÐ ñ ïîìîùüþ ñîçäàí- íîé îïåðàöèîííîé ñèñòåìû ïðîãðàììèðîâàíèÿ «Äíåïð-2»; — ñèñòåìà ÀÏÐÎÏ äëÿ ñáîðêè ãîòîâûõ ðàçíîÿçûêîâûõ ìîäóëåé, èíòåðôåé- ñîâ è áèáëèîòåêè ôóíêöèé ïðåîáðàçîâàíèÿ íåðåëåâàíòíûõ òèïîâ äàííûõ; — ïðèíöèïû ïîñòðîåíèÿ ëèíèé ñáîðî÷íîãî êîíâåéåðà êàê ãëàâíîãî ñïîñîáà èíäóñòðèàëüíîãî èçãîòîâëåíèÿ ðàçëè÷íûõ òèïîâ ÏÑ è ÑÏÑ, êîòîðûå îïåðåäèëè íà 15 ëåò ïîÿâëåíèå ïðîäóêòîâûõ ëèíèé; — íîâûé ñòèëü ñáîðî÷íîãî ïðîãðàììèðîâàíèÿ ñëîæíûõ ïðîãðàììíûõ è èí- ôîðìàöèîííûõ ñèñòåì èç áîëåå ïðîñòûõ è ñòàíäàðòèçîâàííûõ ÊÏÈ (ìîäóëåé, îáúåêòîâ, êîìïîíåíòîâ, ñåðâèñîâ); — îáúåêòíî-êîìïîíåíòíûé ìåòîä ìîäåëèðîâàíèÿ îáúåêòíûõ ñòðóêòóð, òðàíñôîðìàöèè îáúåêòîâ â ïðîãðàììíûå êîìïîíåíòû, êîíôèãóðèðîâàíèÿ èõ â âàðèàíòíûå ñòðóêòóðû ÏÑ ñåìåéñòâà ÑÏÑ; — ôàáðèêà ïðîãðàìì ÊÍÓ êàê âåá-ñàéò Èíòåðíåòà äëÿ ïðåäîñòàâëåíèÿ è îá- ìåíà íàó÷íûìè àðòåôàêòàìè, ñîçäàâàåìûìè ñòóäåíòàìè ïî èçó÷àåìûì ïðåäìåòàì è êîìïüòåðíûì äèñöèïëèíàì; — ýëåêòðîííîå îáó÷åíèå ñòóäåíòîâ íà ÿçûêàõ C#, VS.Net, JAVA è ïðåäìåòó «Ïðîãðàììíàÿ èíæåíåðèÿ» íà ôàáðèêå ïðîãðàìì. 158 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ 1. Ê à ï è ò î í î â à Þ .  . , Ë å ò è ÷ å â ñ ê è é À . À . Ïàðàäèãìû è èäåè àêàäåìèêà Â.Ì. Ãëóø- êîâà. — Êèåâ: Íàóê. äóìêà, 2003. — 355 ñ. 2. à ë ó ø ê î â  . Ì . Êèáåðíåòèêà, ÂÒ, èíôîðìàòèêà (ÀÑÓ):  3 ò. — Ê.: Íàóê. äóìêà, 1990. — Ò. 1. — 262 ñ.; Ò. 2. — 267 ñ.; Ò. 3. — 281 ñ. 3. à ë ó ø ê î â  . Ì . Îñíîâû áåçáóìàæíîé èíôîðìàòèêè. — Ì.: Íàóêà, 1982. — 552 ñ. 4. à ë ó ø ê î â  . Ì . , Ö å é ò ë è í à . Å . , Þ ù å í ê î Å . Ë . Àëãåáðà. ßçûêè. Ïðîãðàììèðîâà- íèå. — Ê.: Íàóê. äóìêà, 1974. — 318 ñ. 5. Ë à â ð è ù å â à Å . Ì . , Ó ñ å í ê î Ë . à . , ß ô ô å  . À . Òðàíñëÿòîð Ä-ÀËÃÀÌÑ äëÿ ìàøèíû «Äíåïð-2» // Òðóäû íàó÷í.-òåõí. êîíô. ÑÊÁ ÌÌÑ ÈÊ ÀÍ ÓÑÑÐ, Êèåâ, 1970. — C. 31–42. 6. Ñ è ñ ò å ì à àâòîìàòèçàöèè ïðîèçâîäñòâà ïðîãðàìì (ÀÏÐÎÏ) / Â.Ì. Ãëóøêîâ, Å.Ì. Ëàâðèùå- âà, À.À. Ñòîãíèé è äð. — Êèåâ: Èí-ò êèáåðíåòèêè ÀÍ ÓÑÑÐ, 1976. — 134 ñ. 7. Ë à â ð è ù å â à Å . Ì . , à ð è ù å í ê î  . Í . Câÿçü ðàçíîÿçûêîâûõ ìîäóëåé â ÎÑ ÅÑ. — Ì.: Ôèíàíñû è ñòàòèñòèêà, 1982. — 127 ñ. 8. Ð å ä ü ê î  . Í . Êîìïîçèöèè ïðîãðàìì è êîìïîçèöèîííîå ïðîãðàììèðîâàíèå // Ïðîãðàììè- ðîâàíèå. — 1978. — ¹ 5. — C. 17–26. 9. à ë ó ø ê î â  . Ì . Ôóíäàìåíòàëüíûå îñíîâû è òåõíîëîãèÿ ïðîãðàììèðîâàíèÿ // Òàì æå. — 1980. — ¹ 2. — C. 3–13. 10. À í ä î í Ô . È . , Ë à â ð è ù å â à Å . Ì . Ìåòîäû èíæåíåðèè ðàñïðåäåëåííûõ êîìïüþòåðíûõ ïðèëîæåíèé. — Êèåâ: Íàóê. äóìêà, 1997. — 328 ñ. 11. Á à á å í ê î Ë . Ï . , Ë à â ð è ù å â à Å . Ì . Îñíîâû ïðîãðàììíîé èíæåíåðèè. — Ê.: Çíàííÿ, 2001. — 269 ñ. 12. L a v r i s c h e v a E . Generative and composition programming: aspects of developing software system families // Cybernetics and Systems Analysis. — 2013. — 49, N 1. — P. 110–123. 13. Ë à â ð ³ ù å â à Ê . Ì . Ïðîãðàìíà ³íæåíåð³ÿ. — Ê.: Àêàäåìïåð³îäèêà, 2008. — 319 ñ. 14. Î ñ í î â û èíæåíåðèè êà÷åñòâà ïðîãðàììíûõ ñèñòåì / Ô.È. Àíäîí, Ã.È. Êîâàëü, Ò.Ì. Êîðî- òóí è äð. — Ê.: Àêàäåìïåðèîäèêà, 2007. — 672 ñ. 15. Çà ä î ð î æ í à Í . Ò . , Ë à â ð ³ ù å â à Ê . Ì . Ìåíåäæìåíò äîêóìåíòîîá³ãó â ³íôîðìàö³éíèõ ñèñòåìàõ îñâ³òè. — Ê.: Ïåäàãîãi÷íà äóìêà, 2007. — 224 ñ. 16. à ë ó ø ê î â  . Ì . , Ê à ï è ò î í î â à Þ .  . , Ë å ò è ÷ å â ñ ê è é À . À . Î ïðèìåíåíèè ìåòîäà ôîðìàëèçîâàííûõ òåõíè÷åñêèõ çàäàíèé ê ïðîåêòèðîâàíèþ ïðîãðàìì îáðàáîòêè ñòðóêòóð äàí- íûõ // Ïðîãðàììèðîâàíèå. — 1978. — ¹ 6. — C. 31–40. 17.  å ë ü á è ö ê è é È .  . , Õ î ä à ê î â ñ ê è é  . Í . , Ø î ë ì î â Ë . È . Òåõíîëîãè÷åñêèé êîì- ïëåêñ àâòîìàòèçàöèè ïðîãðàìì íà ìàøèíàõ ÅÑ ÝÂÌ è ÁÝÑÌ-6. — Ì.: Ôèíàíñû è ñòàòèñòè- êà, 1980. — 253 ñ. 18. L a v r i s h c h e v a E . M . Modular design of large programs // Cybernetic. — 1980. — 16, N 2. — P. 244–249. 19. L a v r i s c h e v a K . M . Compositional programming: theory and practice // Cybernetics and Sys- tems Analysis. — 2009. — 45, N 6. — P. 845–853. 20. Ë à â ð è ù å â à Å . Ì . Îñíîâû ÒÏÐ ïðèêëàäíûõ ïðîãðàìì ÑÎÄ. — Êèåâ, 1987. — 30 ñ. — (Ïðåïð. / ÈÊ ÀÍ ÓÑÑÐ; ¹ 87-50). 21. L a v r i s c h e v a K . M . Theory and practice of software factories // Cybernetics and Systems Analysis. — 2011. — 47, N 6. — P. 961–972. 22. C z a r n e c k i K . , E i s e n e c k e r U . Generative programming. Methods, tools, and applications. — New York: Addison Wesley, 2000. — 730 p. 23. Ë à â ð ³ ù å â à Ê . Ì . ϳäõ³ä äî ôîðìàëüíîãî ïîäàííÿ îíòîëî㳿 æèòòºâîãî öèêëó ïðîãðàìíèõ ñèñòåì // ³ñí. Êè¿â. íàö. ó-òó ³ìåí³ Òàðàñà Øåâ÷åíêà. Ñåð. ô³ç.-ìàò.íàóê.. — 2013. — ¹ 4. — Ñ. 140–149. 24. Ë à â ð ³ ù å â à Ê . Ì . Êîìïîíåíòíå ïðîãðàìóâàííÿ. Òåîð³ÿ ³ çàñòîñóâàííÿ // Ïðîáë. ïðîãðàìó- âàííÿ. — 2012. — ¹ 4. — Ñ. 3–19. ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3 159 25. Ë à â ð è ù å â à Å . Ì . , à ð è ù å í ê î  . Í . Ñáîðî÷íîå ïðîãðàììèðîâàíèå. — Ê.: Íàóê. äóì- êà, 1991. — 213 ñ. 26. L a v r i s c h e v a E . , O s t r o v s k i A . General disciplines and tools for e-learning software engineering // 9th Intern. Conf. ICTERI-2012 “ICT in Education, Research and Industrial Appli- cations”, Ukraine, June, 2012. Commun. in Ñomput. and Inform. Sci. — 2012. — P. 213–229.. 27. Ë à â ð è ù å â à Å . Ì . Ïðîáëåìàòèêà ïðîãðàììíîé èíæåíåðèè. — Êèåâ: Çíàíèå, 1991. — C. 20. 28. Ë à â ð è ù å â à Å . Ì . Ìåòîäû ïðîãðàììèðîâàíèÿ. Òåîðèÿ, èíæåíåðíàÿ ïðàêòèêà. — Êèåâ: Íàóê. äóìêà, 2006. — 454 ñ. 29. À í ä î í Ï . ² . , Ë à â ð ³ ù å â à Ê . Ì . Ðîçâèòîê ôàáðèê ïðîãðàì â ³íôîðìàö³éíîìó ñâ³ò³ // ³ñíèê ÍÀÍ Óêðà¿íè. — 2010. — ¹ 10. — C. 15–41. 30. L a v r i s c h e v a E . , A r o n o v A . , D z u b e n k o A . Programs factory — a conception of knowledge representation of scientifical standpoint of software engineering // Comput. and Inform. Sci. Canad. Center of Sci. and Educ. — 2013. — N 13. — P. 21–28. 31. Ë à â ð ³ ù å â à Ê . Ì . , Ñ ë à á î ñ ï è ö ü ê à Î . Î . , Ê î â à ë ü à . ² . , Ê î ë å ñ í è ê À . Ë . Òåîðåòè÷í³ àñïåêòè êåðóâàííÿ âàð³àáåëüí³ñòþ â ñ³ìåéñòâàõ ïðîãðàìíèõ ñèñòåì // ³ñí. Êè¿â. íàö. ó-òó ³ìåí³ Òàðàñà Øåâ÷åíêà. Ñåð. ô³ç.-ìàò. íàóê. — 2011. — ¹ 1. — Ñ. 151–158. 32. G r e e n f i e l d J . , S h o r t K . Software factory: assembling applications with patterns, models, frameworks, and tools. — S.l.: Wiley Publ., 2004. — 591 p. 33. B a i Y i n g . Application interface programming using multiple languages. — S.l.: Prentice Hall PTR, 2003. — 868 p. 34. L e n z G . , W i e n a n d s C . Practical software factories in .NET. From theory to practice — a primer reference and case study. — S.l.: Apress, 2007. — 205 p. 35. D u v a l l P . , M a t y a s S . , G l o v e r A . Continuous integration improving software quality and reducing risk. — S.l.: Addison Wesley, 2009. — 577 p. 36. Ë à â ð ³ ù å â à Ê . Ì . ϳäõ³ä äî ôîðìàëüíîãî ïîäàííÿ îíòîëî㳿 æèòòºâîãî öèêëó ïðîãðàìíèõ ñèñòåì // ³ñí. Êè¿â. íàö. ó-òó ³ìåí³ Òàðàñà Øåâ÷åíêà. Ñåð. ô³ç.-ìàò. íàóê. — 2013. — ¹ 4. — Ñ. 140–149. 37. Ë à â ð è ù å â à Å . Ì . , à ð è ù å í ê î  . Í . Ñáîðî÷íîå ïðîãðàììèðîâàíèå. Îñíîâû èíäóñ- òðèè ïðîãðàììíûõ ïðîäóêòîâ. — Ê.: Íàóê. äóìêà, 2009. — 371 ñ. 38. Ë à â ð ³ ù å â à Å . Ì . , Ç è í ü ê î â è ÷  . Ì . , Ê î ë å ñ í è ê À . Ë . ò à ³ í . ²íñòðóìåíòàëü- íî-òåõíîëîã³÷íèé êîìïëåêñ ðîçðîáêè è íàâ÷àííÿ ïðèéîìàì âèðîáíèöòâà ïðîãðàìíèõ ñèñ- òåì // Äåðæàâíà ñëóæáà ³íòåëåêòóàëüíî¿ âëàñíîñò³ Óêðà¿íè. (Ñâ³ä ïðî ðåºñòðàö³þ àâòîðñüêîãî ïðàâà íà òâ³ð. — ¹ 45292 â³ä 27.08.2012). 39. Í î â ³ òåîðåòè÷í³ çàñàäè òåõíîëî㳿 âèðîáíèöòâà ñ³ìåéñòâ ïðîãðàìíèõ ñèñòåì ó êîíòåêñò³ ãå- íåðóâàëüíîãî ïðîãðàìóâàííÿ / Ê.Ì. Ëàâð³ùåâà , Ã.². Êîâàëü , Ë.Ï. Áàáåíêî òà ³í. // ÂÈÍÈÒÈ ÐÔ, 2012. — ¹ 2–3. — 277 ñ. 40. À í ä î í Ï . ² . , Ë à â ð ³ ù å â à Ê . Ì . Ìåòîäîëîã³ÿ ïîáóäîâè ë³í³é âèðîáíèöòâà ïðîãðàìíèõ ïðîäóêò³â ³ ¿õ çàñòîñóâàííÿ // Ïðàö³ ̳æíàð. íàóê. êîíãðåñó «²íôîðìàö³éíå ñóñï³ëüñòâî â Óê- ðà¿í³», 25–26 ëèñò. 2012 ð. — Êè¿â: Äåðæ. àãåíòñòâî ç ïèòàíü íàóêè, ³íîâàö³é òà ³íôîðìàòè- çàö³¿ Óêðà¿íè, 2012. — C. 19–26. 41. Ë à â ð ³ ù å â à Ê . Ì . , Ê î ë å ñ í è ê À . Ë . , Ñ ò å í ÿ ø è í À . Þ . Îá’ºêòíå-êîìïîíåíòíå ïðîåêòóâàííÿ ïðîãðàìíèõ ñèñòåì. Òåîðåòè÷í³ ³ ïðèêëàäí³ ïèòàííÿ // ³ñí. Êè¿â. íàö. ó-òó ³ìåí³ Òàðàñà Øåâ÷åíêà. Ñåð. ô³ç.-ìàò. íàóê. — 2013. — ¹ 4. — Ñ. 150–162. 42. L a v r i s c h e v a E . , O s t r o v s k i A . New theoretical aspects of software engineering for development applications and e-learning // J. Software Eng. and Appl. — 2013. — 6. — P. 34–40. Ïîñòóïèëà 15.02.2013 Ïîñëå äîðàáîòêè 24.12.2013 160 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2014, òîì 50, ¹ 3