Transformatsion sementika

2.Haqiqiy jihozlar: Odatda, quyi tuzilmalar bo'yicha ko'rsatmalarni bajarish uchun bilim qismlarini sharhlaydigan qandaydir transformatsiya mexanizmi (masalan, DMS) mavjud. Dasturni o'zgartirish tizimi bunday dvigatelni o'z ichiga olgan vositalar to'plamidir.

Yordamchi dastur: Shubhasiz, agar kimdir bizning misolimiz kabi faqat bitta oddiy dasturni o'zgartirishga ega bo'lsa, 9-sinf o'quvchisi o'zining birinchi algebraik qoidasini o'rganayotgandek, ahamiyatsiz narsalarni qilish mumkin. Ammo, juda ko'p algebraik bilimga ega matematiklar ajoyib matematik mulohaza yuritishi mumkin bo'lganidek, transformatsiyalar to'plamidan dasturiy ta'minot muhandisligining hayratlanarli xilma-xilligi, jumladan kodni optimallashtirish, kompyuter tillarini tarjima qilish uchun ishlatilishi mumkin (qarang: B-2 Stealth Bomber dasturiy ta'minoti migratsiyasi ajoyib jarayon sifatida Masalan), ramziy fikr yuritish, katta hajmdagi manba oʻzgarishlarini amalga oshirish, kod yaratish va h.k.. Umuman olganda, noyob va izolyatsiya qilingan texnologiyalar deb hisoblansa-da, aspektlarni toʻqish ham, refaktorlash ham dasturni oʻzgartirishning alohida holatlari boʻlib, dasturni oʻzgartirish orqali toʻgʻridan-toʻgʻri amalga oshirilishi mumkin. tizimi.