Proqram təminatı mühəndisliyi və ya Proqram mühəndisliyi - sistemləşdirilmiş standartlar qrupundan istifadə etməklə proqram vasitələri və komplekslərinin işlənilməsi, praktiki tətbiqi, müşayiət edilməsi və təkmilləşdirilməsini təmin edən elm sahəsidir ^[1]

Proqram mühəndisliyi təkcə proqram təminatının texniki məsələləri ilə deyil, həm də proqram layihələrinin idarə edilməsi, maliyyələşdirilməsi, kollektivin idarə edilməsi və s. kimi məslələrlə də məşğul olur. Bundan əlavə, proqram mühəndisliyinin əsas məqsədlərindən biri də proqram təminatının istehsalı prosesini dəstəkləmək, maksimal effektivliyə və keyfiyyətə nail olmaq üçün vasitə, metod və nəzəriyyələrin işlənilməsindən ibarətdir.

Proqram təminatı mühəndisliyi proqram təminatının dizaynı, yaradılması, idarə edilməsi ilə maraqlanan sahədir. İlk dəfə 1968-ci ildə NATO-nun keçirdiyi proqram təminatı mühəndisliyi konfransında bu termindən istifadə edilib. İEEE tərəfindən proqram təminatı mühəndisliyi barədə "Software Engineering Body of Knowledge" (SWEBOK) nəşr olunub.

Proqram təminatı mühəndisliyi dinamik şəkildə dəyişən peşə sahəsidir. Aparat platformalarının fasiləsiz şəkildə inkişaf etməsi, eyni zamanda, onların sənaye və istehsalatın müxtəlif sahələrində tətbiqinin getdikcə artması proqram təminatına olan tələbatı daha da artırır. Bununla yanaşı, proqramlaşdırma texnologiyaları da dayanmadan inkişaf edir. Minlərlə proqramlaşdırma dili mövcud olduğuna görə bu dillər üçün müxtəlif kitabxanalar, modullar, işlənilmə mühiti və s. yaradılır. Proqram vasitələrinin işlənilməsi üçün proqramın həyat dövrünün bütün mərhələlərini əhatə edən modellər yaradılmışdır. Böyük proqramları yaradarkən əsasən aşağıdakı mərhələlərdən istifadə edilir:

• Planlaşdırma
• Analiz
• Dizayn
• Proqramlaşdırma
• Test

Proqram təminatı mühəndisliyinin koordinasiya komitəsi (Software Engineering Coordinating Committee) tərəfindən proqram təminatı mühəndisliyi üzrə biliklər toplusu – SWEEBOK (Software Engineering Body of Knowledge) işlənilmişdir. 2013-cü ildə işlənilmiş son versiyası 15 bilik sahəsini əhatə edir. (SWEEBOK V3) ISO/IEC TR 19759:2005 standartına əsaslanır və uzun illər işləmiş peşəkar mütəxəssilərin bilikləri əsasında hazırlanmışdır ^[2].

Peşəkar proqram təminatı mühəndisindən aşağıdakı bir və ya neçə bilik və bacarıqlar tələb olunur:

• sifarişçi ilə ünsiyyət qabiliyyəti;
• tələblərlərin düzgün müəyyən edilməsi;
• istifadə edilmiş texnologiyaların seçilməsi;
• proqramların sazlanması;
• proqramların sınağı;
• işlənilmiş modulların mövcud proqrama inteqrasiyası;
• yeni modulların yazılması;
• müxtəlif növ sənədlərin tərtibi;
• layihənin idarə edilməsi və s.

• Kazımov T.H., Bayramova T.A. AZƏRBAYCANDA PROQRAM MÜHƏNDİSLİYİNİN TƏDRİSİNİN PROBLEMLƏRİ // İnformasiya cəmiyyəti problemləri, 2017, №1, 105–111

İnformatika
Cihaz	Sxem lövhəsi Periferiya qurğuları İnteqral sxem Çox geniş miqyaslı inteqrasiya Çip üzərində sistem Yaşıl hesablama Elektron dizaynın avtomatlaşdırılması Cihazın sürətləndirilməsi
Kompüter sistemlərinin təşkili	Kompüterin arxitekturası Gömülü sistemlər Real vaxtda hesablama Etibarlılıq
Şəbəkələr	Şəbəkə arxitekturası Verilənlərin ötürülməsi protokolları Şəbəkə avadanlığı Şəbəkə planlayıcısı Şəbəkə performansı Şəbəkə servisi
Proqram təminatının təşkili	İnterpretator Aralıq proqram təminatı Virtual maşın Əməliyyat sistemi Proqramın keyfiyyəti
Nəzəriyyə və alətlər	Proqramlaşdırma paradiqması Proqramlaşdırma dili Kompilyator Domenə özəl dil Modelləşdirmə dili Freymvork İnteqrasiya olunmuş inkişaf mühiti Proqram konfiqurasiyasının idarə edilməsi Proqram kitabxanası Repozitoriya
Proqram tərtibatı	Nəzarət axını Proqram təminatı prosesi Tələblərin təhlili Proqram dizaynı Proqramın qurulması Proqramın yerləşdirilməsi Proqram təminatı mühəndisliyi Proqram təminatının texniki qulluğu Proqramlaşdırma komandası Açıq mənbəli proqram təminatı
Alqoritmlər nəzəriyyəsi	Hesablama modeli Formal dillər Avtomatlaşdırma nəzəriyyəsi Hesablama nəzəriyyəsi Hesablama mürəkkəbliyi nəzəriyyəsi Məntiq Semantika
Alqoritmlər	Alqoritmin dizaynı Alqoritmin analizi Alqoritmik səmərəlilik Təsadüfi alqoritm Hesablama həndəsəsi
Hesablama riyaziyyatı	Diskret riyaziyyat Ehtimal Statistika Riyazi proqram təminatı İnformasiya nəzəriyyəsi Riyazi analiz Ədədi analiz Nəzəri informatika
İnformasiya sistemi	Verilənlər bazası idarəetmə sistemləri Kompüter məlumatlarının saxlanması Müəssisə məlumat sistemi Sosial proqram Coğrafi informasiya sistemi Qərar qəbuledici dəstək sistemi Prosessə nəzarət sistemi Multimedia verilənlər bazası Data mining Elektron kitabxana Kompüter platforması Rəqəmsal marketinq Ümumdünya hörümçək toru İnformasiya axtarışı
Kibertəhlükəsizlik	Kriptoqrafiya Formal metodlar Təhlükəsizlik xidməti Müdaxilənin aşkarlanması sistemi Cihaz təhlükəsizliyi Şəbəkə təhlükəsizliyi İnformasiya təhlükəsizliyi Tətbiq təhlükəsizliyi
İnsan-kompüter qarşılıqlı əlaqəsi	Qarşılıqlı təsir dizaynı Sosial hesablama Hər yerdə hesablama Vizualizasiya Kompüter əlçatanlığı
Paralellik	Paralel hesablama Paylanmış hesablama Çoxaxınlılıq Çoxprosesli
Süni intellekt	Təbii dilin emalı Bilik təmsili və əsaslandırma Kompüter görünüşü Avtomatlaşdırılmış planlaşdırma Optimallaşdırma İdarəetmə nəzəriyyəsi Süni intellekt fəlsəfəsi Paylanmış süni intellekt
Maşın öyrənməsi	Nəzarət olunan öyrənmə Nəzarət olunmayan öyrənmə Möhkəmləndirici öyrənmə Çox tapşırıqlı öyrənmə Çapraz doğrulama (statistika)
Qrafika	Animasiya Render Foto manipulyasiyası Qrafik prosessor Qarışıq reallıq Virtual reallıq Şəklin sıxışdırılması Solid modeling
Tətbiqi hesablama	Elektron ticarət Müəssisə proqram təminatı Hesablama riyaziyyatı Hesablama fizikası Hesablama kimyası Hesablama biologiyası Hesablama sosial elmləri Hesablama mühəndisliyi Sağlamlıq informatikası Rəqəmsal sənət Elektron nəşriyyat Kibermüharibə Elektron seçki Videooyunlar Mətn prosessoru Əməliyyat araşdırması Kompüter-dəstəkli təlim Sənəd idarəetmə
Kateqoriya Əsasları Vikianbar

Lüğətlər və ensiklopediyalar	Britannica (onlayn)
Normativ yoxlama BNE: XX541523 · BNF: 11966616k · GND: 4116521-4 · LCCN: sh87007398 · Microsoft: 115903868 · NDL: 01014113 · NKC: ph314875, ph125825