Описано сучасні технології проектування програмного забезпечення. Розглянуто пакети прикладних програм (ППП) як засіб автоматизації програмування, наведено їх головні характеристики та властивості. Проведено класифікацію ППП за сферами застосування та класами задач. Висвітлено методи проектування програмних структур.

Описано современные технологии проектирования программного обеспечения. Рассмотрены пакеты прикладных программ как средство автоматизации программирования, приведены их характеристики и свойства. Проведена классификация ППП по сферам применения и классам задач. Освещены методы проектирования программных структур.

Розглянуто основні положення, що стосуються сучасних пакетів прикладних програм для створення різноманітних сучасних документів різного функціонального призначення. Охарактеризовано програми, що входять до сучасного програмного комплексу Microsoft Office, зокрема, текстовий редактор Word, програму для проведення економічних, статистичних та інших розрахунків Excel. Наведено систему керування базами даних Access.

Рассмотрены основные положения, касающиеся современных пакетов прикладных программ для создания разнообразных современных документов различного функционального назначения. Охарактеризованы программы, входящие в современный комплекс Microsoft Office, в частности, текстовый редактор Word, программа для проведения экономических, статистических и других расчетов Excel. Предложена система управления базами данных Access.

Охарактеризовано апаратне та програмне забезпечення сучасних персональних комп'ютерів. Детально розглянуто складові частини сучасного комп'ютера, зокрема, описано його основні компоненти та периферійні пристрої. Здійснено огляд найбільш поширеної операційної системи WINDOWS і пакету програм MS Office, наведено відомості про глобальну комп'ютерну мережу Internet. Учбовий матеріал подано англійською мовою.

Охарактеризовано аппаратное и программное обеспечение современных компьютеров. Детально рассмотрены составляющие части современного компьютера, в частности, описаны его основные компоненты и периферийные устройства. Осуществлен обзор наиболее распространенной операционной системы WINDOWS и пакета программ MS Office, приведены материалы о глобальной компьютерной сети Internet. Учебный материал изложен на английском языке.

Наведено основні поняття, моделі та методи програмної інженерії для використання під час конструювання та тестування програмних систем (ПС), а також керування програмними проектами. Описано різні підходи до програмування, типи взаємодії програмного забезпечення (ПЗ), методи зміни компонентів та ПС, тестування (статичні та динамічні) ПЗ, інфраструктуру процесу тестування, характерні помилки на процесах життєвого циклу ПЗ. Висвітлено інструментальні засоби для створення ПЗ.

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

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

Розглянуто фундаментальні основи мови програмування Visual Basic Application (VBA), яка є базовою в додатках Microsoft Office (Word, Excel, Access, PowerPoint, FrontPage, Visio). Розкрито принципи алгоритмізації та поняття мови VBA, показано можливості середовища програмування. Увагу приділено основним прийомам програмування мовою VBA, зокрема, опису типів даних, оголошенню змінних і констант, організації галужень і циклів, опису та використанню структурованих типів даних, підпрограм і модулів.

Рассмотрены фундаментальные основы языка программирования Visual Basic Application (VBA), который является базисным в дополнениях Microsoft Office (Word, Excel, Access, PowerPoint, FrontPage, Visio). Раскрыты принципы алгоритмизации и понятия языка VBA, показаны возможности среды программирования. Уделено внимание основным приемам программирования на языке VBA, в частности, описанию типов данных, оглашению переменных и констант, организации ветвлений и циклов, описанию и использованию структурированных типов данных, подпрограмм и модулей.

Висвітлено теоретичні основи сучасного програмного забезпечення системної обробки інформації. Запропоновано інформацію стосовно сучасних засобів створення програмних додатків, що використовуються для взаємодії з базами даних. Описано проектування структури реляційних баз даних і використання мови структурованих запитів SQL для створення об'єктів реляційних баз даних, маніпулювання ними, процедурного програмування й адміністрування сервера баз даних. Розглянуто проблеми штучного інтелекту та його практичне спрямування. Увагу приділено методологічним засадам експертних систем як на найбільш практично застосованому різновиді штучного інтелекту. Розглянуто загальну характеристику програмних засобів створення експертних систем і надано рекомендації щодо їх ефективного застосування. Висвітлено базові концепції нейронних мереж.

Рассмотрены формальные методы разработки, верификации и анализа надежности программного обеспечения и информационно-управляющих систем (ИУС) для критических приложений. Проанализированы требования к программному обеспечению, методы формулирования и спецификации требований, а также процесс управления требованиями. Рассмотрена задача гармонизации и профилирования требований на примере компьютерных сетей ИУС критического применения. Описаны формальные методы спецификации требований, разработки и верификации программного обеспечения, использующие аппарат строгого математического (логического) анализа и доказательства теорем. Дана информация о формальных методах анализа надежности и рисков опасных отказов.

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

Подано основні концепції керування якістю, зокрема якістю програмного забезпечення, протягом всього життєвого циклу. Розглянуто питання сертифікації та оцінювання витрат на якість. Увагу приділено метрикам якості інформаційних систем та їх використанню.

Викладено загальні принципи побудови архітектури комп'ютерів, арифметичні основи комп'ютерів, системи числення. Наведено основні визначення і поняття алгоритму та базових канонічних структур алгоритмів, засоби представлення алгоритмів, класифікацію мов програмування. Розглянуто питання програмування на мові Java. Висвітлено основні елементарні конструкції мови, починаючи з алфавіту мови, типів даних і операцій над ними. Викладено процес установки Java і виконання Java-npoгpaм, надано опис сучасних інтегрованих середовищ розробки. Описано оператори мови Java для реалізації лінійних і циклічних алгоритмів, а також алгоритмів, що розгалужуються. Розглянуто одно- та багатовимірні масиви, базові алгоритми обробки і сортування масивів. Наведено визначення та опис класів, об'єктів і методів, мінімально необхідний понятійний апарат об'єктно-орієнтованої парадигми програмування: створення об'єктів за допомогою конструкторів, оголошення та виклик методів, види і способи передачі параметрів у методи, області видимості змінних. Розглянуто питання використання рекурсивних методів, приклади алгоритмів, що реалізують непряму рекурсію, а також рекурсію без/з розгалуженням. Висвітлено особливості роботи з рядками та файлами, базові алгоритми оброблення рядків: знаходження довжини рядка, вибір і пошук символів і підрядків, порівняння та символьний розбір рядків. Викладено особливості роботи з файлами та організації введення/виведення в/з файла. Розглянуто динамічні структури даних: списки, стеки, черги, прийоми роботи з ними. Описано типові операції, що виконуються над динамічними структурами даних, можливості їх реалізації на мові Java.