Кібернетика, інформатика та програмна інженерія: аспекти розвитку
Подається аналіз розвитку базових дисциплін Computer Science – кібернетика, інформатика, комп’юте-рна системна та програмна інженерія. Дано визначення цих дисциплін, їхній зміст і склад. Проаналізо-вано розвиток кожної з дисциплін, зв’язки між ними і вплив кожної на іншу. Досліджено міжнародну...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| 1. Verfasser: | Лавріщева, К.М. |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/6592 |
| 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: | Кібернетика, інформатика та програмна інженерія: аспекти розвитку / К.М. Лавріщева // Пробл. програмув. — 2010. — № 1. — С. 3-14. — Бібліогр.: 22 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Визначення предмету – програмна інженерія
von: Лавріщева, К.М.
Veröffentlicht: (2008)
von: Лавріщева, К.М.
Veröffentlicht: (2008)
Генерувальне програмування програмних систем і їх сімейств
von: Лавріщева, К.М.
Veröffentlicht: (2009)
von: Лавріщева, К.М.
Veröffentlicht: (2009)
Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012)
von: Лавріщева, К.М.
Veröffentlicht: (2012)
Моделі взаємодії програм, систем і операційних середовищ
von: Лавріщева, К.М.
Veröffentlicht: (2011)
von: Лавріщева, К.М.
Veröffentlicht: (2011)
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
von: Лавріщева, К.М.
Veröffentlicht: (2011)
von: Лавріщева, К.М.
Veröffentlicht: (2011)
Базові основи індустрії програм, обчислень і даних
von: Лавріщева, К.М.
Veröffentlicht: (2012)
von: Лавріщева, К.М.
Veröffentlicht: (2012)
Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
von: Новокшонов, А.К.
Veröffentlicht: (2016)
von: Новокшонов, А.К.
Veröffentlicht: (2016)
Алгебри квазіарних та бі-квазіарних реляцій
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Темпоральні процедури та алгоритми
von: Зубенко, В.В.
Veröffentlicht: (2006)
von: Зубенко, В.В.
Veröffentlicht: (2006)
Ациклічність та замкненість макрокомпозицій
von: Вінник, В.Ю., et al.
Veröffentlicht: (2012)
von: Вінник, В.Ю., et al.
Veröffentlicht: (2012)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)
Виникнення та інтерпретація тризначних логік Кліні
von: Шишацька, О.В.
Veröffentlicht: (2010)
von: Шишацька, О.В.
Veröffentlicht: (2010)
Конструктори множин та мультимножин об’єктів
von: Терлецький, Д.О.
Veröffentlicht: (2014)
von: Терлецький, Д.О.
Veröffentlicht: (2014)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
von: Летичевський, О.О., et al.
Veröffentlicht: (2020)
von: Летичевський, О.О., et al.
Veröffentlicht: (2020)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2019)
von: Шкільняк, О.С.
Veröffentlicht: (2019)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
von: Шкільняк, C.С.
Veröffentlicht: (2019)
von: Шкільняк, C.С.
Veröffentlicht: (2019)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
von: Березовський, К.А.
Veröffentlicht: (2009)
von: Березовський, К.А.
Veröffentlicht: (2009)
Еволюційне програмування
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)
Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
von: Покровський, А.М.
Veröffentlicht: (2021)
von: Покровський, А.М.
Veröffentlicht: (2021)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
Внешние множественные операции табличной алгебры бесконечных таблиц
von: Глушко, И.М.
Veröffentlicht: (2016)
von: Глушко, И.М.
Veröffentlicht: (2016)
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Львов, М.С.
Veröffentlicht: (2015)
von: Львов, М.С.
Veröffentlicht: (2015)
Об одном подходе к верификации алгебраических вычислений
von: Львов, М.С.
Veröffentlicht: (2011)
von: Львов, М.С.
Veröffentlicht: (2011)
Современные методы программирования. Возможности и инструменты
von: Лаврищева, Е.М.
Veröffentlicht: (2006)
von: Лаврищева, Е.М.
Veröffentlicht: (2006)
Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Структурний підхід до проблеми відтворення граматик
von: Ільман, В.М., et al.
Veröffentlicht: (2007)
von: Ільман, В.М., et al.
Veröffentlicht: (2007)
Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Інтенсіонально-орієнтований підхід до побудови логічних систем
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
Семантичні властивості п’ятизначних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Чисті першопорядкові квазіaрні логіки з предикатами рівності
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
Логіки квазіарних предикатів кванторно-екваційного рівня
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
Конструктивное представление множественных объектов и их свойства
von: Ильман, В.М., et al.
Veröffentlicht: (2014)
von: Ильман, В.М., et al.
Veröffentlicht: (2014)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Ähnliche Einträge
-
Визначення предмету – програмна інженерія
von: Лавріщева, К.М.
Veröffentlicht: (2008) -
Генерувальне програмування програмних систем і їх сімейств
von: Лавріщева, К.М.
Veröffentlicht: (2009) -
Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012) -
Моделі взаємодії програм, систем і операційних середовищ
von: Лавріщева, К.М.
Veröffentlicht: (2011) -
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
von: Лавріщева, К.М.
Veröffentlicht: (2011)