Muhammad al-Xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universtiteti

Qayta foydalanish mumkinligi - Oldindan mavjud bo'lgan dasturiy ta'minotning ba'zi jihatlaridan yoki barchasini boshqa loyihalarda ozgina o'zgarishsiz foydalanish qobiliyati.
Sog'lomlik - Dasturiy ta'minot stress holatida ishlashi yoki oldindan aytib bo'lmaydigan yoki yaroqsiz kirishga toqat qilishi mumkin. Masalan, u past xotira sharoitlariga chidamlilik bilan ishlab chiqilishi mumkin.
Xavfsizlik - Dasturiy ta'minot dushmanlik harakatlariga va ta'siriga qarshi tura oladi va ularga qarshi tura oladi.
Foydalanish imkoniyati - dasturiy ta'minot foydalanuvchi interfeysi uning maqsadli foydalanuvchisi / auditoriyasi uchun yaroqli bo'lishi kerak. Parametrlar uchun standart qiymatlarni tanlash kerak, shunda ular ko'pchilik foydalanuvchilar uchun yaxshi tanlov bo'ladi.
Ishlash - Dasturiy ta'minot o'z vazifalarini foydalanuvchi uchun maqbul bo'lgan vaqt oralig'ida bajaradi va ortiqcha xotirani talab qilmaydi.
Portativlik - Dastur turli xil sharoit va muhitlarda ishlatilishi kerak.
Miqyosi - Dastur ma'lumotlarning ko'payishi yoki qo'shilgan xususiyatlar yoki foydalanuvchilar soniga yaxshi mos keladi.


Modellashtirish tili
Modellashtirish tili - bu izchil qoidalar to'plami bilan aniqlangan tuzilishda ma'lumot, bilim yoki tizimni ifodalash uchun ishlatilishi mumkin bo'lgan har qanday sun'iy til. Ushbu qoidalar strukturadagi tarkibiy qismlarni izohlash uchun ishlatiladi. Modellashtirish tili grafik yoki matnli bo'lishi mumkin. Dasturiy ta'minotni loyihalash uchun grafik modellashtirish tillariga misollar:
Arxitektura ta'rifi tili (ADL) - tasvirlash va ifodalash uchun ishlatiladigan til dasturiy ta'minot arxitekturasi a dasturiy ta'minot tizimi.
Biznes jarayonlarini modellashtirish yozuvlari (BPMN) a ning misoli Jarayonni modellashtirish til.
EXPRESS va EXPRESS-G (ISO 10303-11) xalqaro standart umumiy maqsadlar uchun mo'ljallangan ma'lumotlarni modellashtirish til.
Kengaytirilgan korxonalarni modellashtirish tili (EEML) odatda bir qator qatlamlarda biznes jarayonlarini modellashtirish uchun ishlatiladi.

Oqim sxemalari algoritmlarni yoki boshqa bosqichma-bosqich jarayonlarning sxematik tasvirlari.

Asosiy modellashtirish tushunchalari (FMC) dasturiy ta'minotni talab qiladigan tizimlar uchun modellashtirish tilidir.
IDEF modellashtirish tillari oilasi bo'lib, ular orasida eng e'tiborlisi shular jumlasiga kiradi IDEF0 funktsional modellashtirish uchun, IDEF1X axborotni modellashtirish uchun va IDEF5 modellashtirish uchun ontologiyalar.
Jeksonning tuzilgan dasturlashi (JSP) - ma'lumotlar oqimi tuzilishi va dastur tuzilishi o'rtasidagi yozishmalar asosida tuzilgan dasturlash usuli.

LePUS3 bu ob'ektga yo'naltirilgan vizual Dizayn Ta'riflash tili va a rasmiy spetsifikatsiya asosan ob'ektga yo'naltirilgan katta modellashtirish uchun mos bo'lgan til (Java, C ++, C # ) dasturlari va dizayn naqshlari.

Birlashtirilgan modellashtirish tili (UML) bu dasturiy ta'minotni tarkibiy va xulq-atvor jihatidan tavsiflovchi umumiy modellashtirish tili. U grafik yozuvga ega va a bilan kengaytirishga imkon beradi Profil (UML).
Qotishma (spetsifikatsiya tili) dasturiy ta'minot tizimidagi murakkab tarkibiy cheklovlar va xatti-harakatlarni ifodalash uchun umumiy maqsadli spetsifikatsiya tili. Bu birinchi darajali munosabat mantig'iga qisqacha til bazasini beradi.
Tizimlarni modellashtirish tili (SysML) bu yangi umumiy maqsadli modellashtirish tizim muhandisligi uchun til.
Xizmatga yo'naltirilgan modellashtirish doirasi (SOMF)