Strukturali yondashishdagi dasturiy ta'minot talablarini tahlil qilish

Ushbu kitob dasturiy ta'minotni ishlab chiqish jarayonida qo'llaniladigan strukturali yondashuvga bag'ishlangan. Unda dasturiy ta'minotga qo'yiladigan talablarni tahlil qilish va spetsifikatsiya qilish masalalari ko'rib chiqiladi. Kitob spetsifikatsiyalarni aniqlash, jarayonlar spetsifikatsiyasi va terminlar lug'ati kabi muhim tushunchalarni o'z ichiga oladi. Shuningdek, turli xil modellardan foydalanish, funktsional, ma'lumotlarga mo'ljallangan va ma'lumotlar oqimiga mo'ljallangan yondashuvlar haqida ma'lumot beradi. Kitobning maqsadi dasturiy ta'minotni ishlab chiqishda sifatli va aniq spetsifikatsiyalarni yaratishga yordam berishdir.

Asosiy mavzular

Strukturali yondashishdagi dasturiy ta'minot talablarini tahlil qilish va spetsifikatsiyasini aniqlash: Dasturiy ta'minotga bo'ladigan talablarni tahlil qilishdan boshlanadi. Tahlil natijasida spetsifikatsiya hosil qilinadi, dekompozitsiya amalga oshiriladi, masala mazmunli qo'yiladi va cheklanishlar aniqlanadi.
Strukturali yondashishdagi dasturiy ta'minotning spetsifikatsiyasi: Spetsifikatsiya dasturiy ta'minotning funktsiyalari va cheklanishlarini tavsiflaydi. Funktsional qism funktsiyalarni, boshqa qism esa texnik vositalarga, ishonchlilikka va xavfsizlikka qo'yilgan talablarni aniqlaydi.
Spetsifikatsiyaga bo'lgan talablar: To'liqlik talabi barcha muhim axborotlarni o'z ichiga olishni, aniqlik talabi esa spetsifikatsiyani barcha tushunishi kerakligini anglatadi.
Spetsifikatsiyaning aniqlanish bosqichida foydalaniladigan modellar: Formal modellar ikki guruhga bo'linadi: ishlab chiqishga bog'liq va bog'liq bo'lmagan modellar. Strukturali yondashuvda funktsiyaga, ma'lumotga va ma'lumotlar oqimiga mo'ljallangan modellar qo'llaniladi.
Jarayonlar spetsifikatsiyasi: Jarayonlar spetsifikatsiyasi qisqa matnli tavsif, algoritmlar sxemasi yoki psevdakodlar orqali ifodalanadi. U qisqa va tushunarli bo'lishi kerak.
Terminlar lug'ati: Terminlar lug'ati asosiy tushunchalarning tavsifidan iborat. U predmet sohasining tushunish darajasini oshiradi va tortishuvlarni hal etishga yordam beradi.