- •1. Програма як формалізований опис процесу обробки даних. Програмний засіб.
- •2. Неконструктивність поняття правильної програми.
- •3. Надійність програмного засобу.
- •4. Технологія програмування як технологія розробки надійних програмних засобів.
- •5. Технологія програмування і інформатизація суспільства.
- •6. Перші мови програмування
- •7. Області застосування мов програмування
- •8. Парадигми програмування
- •9. Стандартизація мов програмування
- •10. Середовище проектування
7. Області застосування мов програмування
В даний час мови програмування застосовуються в самих різних областях людської діяльності, таких як:
наукові обчислення (мови C++, FORTRAN, Java);
системне програмування (мови C++, Java);
обробка інформації (мови C++, COBOL, Java);
штучний інтелект (LISP, Prolog);
видавнича діяльність (Postscript, TEX);
видалена обробка інформації (Perl, PHP, Java, C++);
опис документів (HTML, XML).
З часом одні мови розвивалися, набували нових рис і залишилися затребувані, інші втратили свою актуальність і сьогодні представляють в кращому разі чисто теоретичний інтерес. В значній мірі це пов'язано з такими чинниками, як:
наявність середовища програмування, що підтримує розробку застосувань на конкретній мові програмування;
зручність супроводу і тестування програм;
вартість розробки із застосуванням конкретної мови програмування;
чіткість і ортогональність конструкцій мови;
застосування об'єктно-орієнтованого підходу
8. Парадигми програмування
Синтаксис мови описує систему правил написання різних мовних конструкцій, а семантика мови програмування визначає сенс цих конструкцій. Синтаксис мови програмування може бути описаний за допомогою НБФ-нотацій.
Семантика мови взаємозв'язана з використовуваною обчислювальною моделлю. В даний час мови програмування залежно від вживаної обчислювальної моделі діляться на чотири основні групи:
Процедурні мови, які є послідовністю виконуваних операторів. Якщо розглядати стан ПК як стан елементів пам'яті, то процедурна мова – це послідовність операторів, що змінюють значення однієї або декількох осередків. До процедурних мов відносяться FORTRAN, C, Ada, Pascal, Smalltalk і деякі інші. Процедурні мови іноді також називаються імперативними мовами. Код програми на процедурній мові може бути записаний таким чином:
оperator1; operator2; operator3;
Аплікативні мови, в основу яких покладений функціональний підхід. Мова розглядається з погляду знаходження функції, необхідної для перекладу пам'яті ПК з одного стану в інше. Програма є набором функцій, вживаних до початкових даних, що дозволяє отримати необхідний результат. До аплікативних мов відноситься мова LISP. Код програми на аплікативній мові може бути записаний таким чином:
function1(function2( function3(beginning_date)));
Мови системи правил, звані також мовами логічного програмування, грунтуються на визначенні набору правив, при виконанні яких можливе виконання певних дій. Правила можуть задаватися у вигляді тверджень і у вигляді таблиць рішень. До мов логічного програмування відноситься мова Prolog.
Код програми на мові системи правил може бути записаний таким чином:
if condition1 then operator1;
if condition2 then operator2;
if condition3 then operator3;
Об'єктно-орієнтовані мови, засновані на побудові об'єктів як набору даних і операцій над ними. Об'єктно-орієнтовані мови об'єднують і розширюють можливості, властиві процедурним і апплікативним мовам. До об'єктно-орієнтованих мов відносяться C++, Object Pascal, Java.
Зараз найбільшого поширення набули мови, засновані на об'єктно-орієнтованій моделі. Вони, реалізовуючи процедурну модель побудови мови, підтримують аплікативність конструкцій, дозволяючи представляти блок-схему виконання структурованої програми як деякий набір апплікативних функцій.
