Программалык камсыздоо инженериясы жана информатика
Заманбап коомдо компьютерлер ажырагыс бөлүгү болуп калды. Бирок, биз бул тааныш нерселердин ички иштерине азыраак көңүл бурабыз. Информатика компьютердик системалардын теориялык негизи болуп саналат, ал эми программалык камсыздоо инженериясы бул принциптерди программалык камсыздоону чечүү үчүн көйгөйлөргө колдонуу.
Информатика
Информатика – эсептөөчү аппараттык жана программалык камсыздоонун негизги илими. Ал программалык жана аппараттык компоненттердин механизмин жана компьютердик системаларда ишке ашыруу жана колдонуу үчүн эсептөөнүн теориялык негиздерин түшүнүүгө жардам берет.
Информатика көптөгөн негизги суб дисциплиналардан турат. Эсептөө теориясы, Маалымат жана коддоо теориясы, алгоритмдер жана берилиштер структурасы жана программалоо тилинин теориясы теориялык информатикага кирет. Колдонмо информатика илиминин суб-дисциплиналары – жасалма интеллект, компьютер архитектурасы жана инженериясы, компьютердик графика жана визуализация, криптография жана компьютердик коопсуздук, компьютердик тармактар, параллелдүү, параллелдүү жана бөлүштүрүлгөн системалар, маалымат базалары жана маалымат издөө жана программалык камсыздоо.
Бул субдициплиндердин көбү математикалык теорияларга негизделген. Колдонмонун айрым аспектилери мехатроника жана башка прикладдык илимдер менен байланышкан.
Ошондой эле, бул субдисциплиналар кичине изилдөө аймактарына жайылтылат. Мисалы, Эсептөө теориясы Автомат теориясы, Эсептөө теориясы, Татаалдуулук теориясы, Криптография жана Кванттык эсептөө теориясы сыяктуу изилдөө багыттарын камтыйт.
Программалык камсыздоо
Программалык камсыздоону прикладдык информатика илиминин негизги суб дисциплиналарынын бири катары кароого болот. Ал катаал инженердик ыкманы колдонуу менен эффективдүү программалык камсыздоо системаларын түзүүгө багытталган. Бул программалык камсыздоону долбоорлоого, иштеп чыгууга, иштетүүгө жана тейлөөгө жана бул ыкмаларды изилдөөгө системалуу, тартиптүү, сандык мамиле катары мүнөздөөгө болот. Программалык камсыздоонун эч ким тарабынан кабыл алынган аныктамасы жок, бирок анын максатынын чечмелөөсү.
Фриц Бауэр программалык камсыздоо инженериясын "Ишенимдүү жана реалдуу машиналарда эффективдүү иштеген экономикалык жактан иштелип чыккан программалык камсыздоону алуу үчүн үндүү инженердик принциптерди түзүү жана колдонуу" деп аныктаган.
Программа физикалык эмес; бул компьютер тутумунун ичинде иштеген логикалык объекттер. Ошондуктан, ал аппараттык жана операциялык аспектилерде оптималдуу иштеши үчүн иштелип чыгышы керек. Бул максаттарга жетүү үчүн программалык камсыздоо инженерлери иштеп чыгуу моделдерин колдонушат. Бул моделдер программалык камсыздоону иштеп чыгуунун негизги кадамдарын, мисалы, долбоорлоо, коддоо, көйгөйлөрдү жоюу жана тейлөө сыяктуу бирдиктүү негизге камтыйт, бул программалык камсыздоонун жашоо цикли аркылуу системалуу прогрессине мүмкүндүк берет.
Программалык инженерия менен информатика илиминин ортосунда кандай айырма бар?
• Компьютердик илим программалык камсыздоодо да, аппараттык камсыздоодо да эсептөөнүн теориялык аспектилерине басым жасайт.
• Программалык камсыздоо инженериясы программалык камсыздоону системалуу түрдө иштеп чыгууга багытталган. Коддоо же программалоо программалык камсыздоонун негизги компоненти.
• Программалык камсыздоону эсептөө теориясынын колдонмосу катары кароого болот (мисалы, алгоритмдин натыйжалуулугун информатика теориясында сүрөттөлгөн татаалдыктын жардамы менен ченесе болот, бирок анын колдонмосу программалык камсыздоонун чөйрөсүндө. татаалдыгы аркылуу эң ылайыктуу алгоритм тандалып алынган инженерия.
