مقاله فرمال متد 30 ص (docx) 47 صفحه
دسته بندی : تحقیق
نوع فایل : Word (.docx) ( قابل ویرایش و آماده پرینت )
تعداد صفحات: 47 صفحه
قسمتی از متن Word (.docx) :
خلاصه
روشهاي نرمال يكپارچه براي محيط مشخصات فراهم مي‌كند تا بسوي مدلهاي تحليلي كه كاملتر ناسازگار و با ابهام كمتر از روشهاي سنتي يا شي‌گرا باشد رهنمون مي‌شود.
امكانات تشريحي تئوري مجموعه‌ها و nofation هاي منطقي نا مهندس نرم‌افزار يك گزاره شفاف از واقعيات(نيازمنديها) را ايجاد كند.
مفاهيم زيرساختي كه بر روشهاي نرمال حاكم است(1) data inuariant يك شرط كه درست است در سراسر اجراي سيستم كه شامل مجموعه‌اي داده‌هاست stste(2) .