Kod generatsiyasi. Kodni generatsiya qilish kerak va mumkun, lekin asboblardagi mavjud imkoniyatlarga ortiqcha baxo berib yubormaslik kerak. - Kod generatsiyasi. Kodni generatsiya qilish kerak va mumkun, lekin asboblardagi mavjud imkoniyatlarga ortiqcha baxo berib yubormaslik kerak.
- Taqlidiy modellashtirish. Xisoblash tajribalari yo’li bilan modellashtirilayotgan obekt haqida ma’lumot olish mumkun bo’lgan UML modellarini qurish imkoniyatlari xozircha bu maqsadlar uchun tuzilgan ixtisoslashtirilgan tizimlar imkoniyatlaridan pastroqdir.
Modellar verifikatsiyasi. Modellar hossalari xaqida model bo’yicha formal hulosalar chiqarish mumkun bo’lganida ajoyib bo’lgan bo’lar edi: model izchil, kelishilgan, samarador va x.k. UML nimanidir tekshirishga yo’l qo’yadi, biroq juda kam hollarda. Bu yerda an’anaviy dasturlash tizimlari bilan o’xshashlikni keltirish o’rinlidir: ular sintaksik holatlardan tez va ishonchli qutilishga yordam beradi, lekin mantiqiy xatoliklar bo’lganda vaziyat ancha chigallashishi mumkun. - Modellar verifikatsiyasi. Modellar hossalari xaqida model bo’yicha formal hulosalar chiqarish mumkun bo’lganida ajoyib bo’lgan bo’lar edi: model izchil, kelishilgan, samarador va x.k. UML nimanidir tekshirishga yo’l qo’yadi, biroq juda kam hollarda. Bu yerda an’anaviy dasturlash tizimlari bilan o’xshashlikni keltirish o’rinlidir: ular sintaksik holatlardan tez va ishonchli qutilishga yordam beradi, lekin mantiqiy xatoliklar bo’lganda vaziyat ancha chigallashishi mumkun.
E’tiboringiz uchun raxmat!!! - E’tiboringiz uchun raxmat!!!
Do'stlaringiz bilan baham: |
