بزرگترین مرجع دانلود تحقیق و مقاله

تعدادصفحه 20

روشهاي نرمال يكپارچه براي محيط مشخصات فراهم مي‌كند تا بسوي مدلهاي تحليلي كه كاملتر ناسازگار و با ابهام كمتر از روشهاي سنتي يا شي‌گرا باشد رهنمون مي‌شود.

امكانات تشريحي تئوري مجموعه‌ها و nofation هاي منطقي نا مهندس نرم‌افزار يك گزاره شفاف از واقعيات(نيازمنديها) را ايجاد كند.

مفاهيم زيرساختي كه بر روشهاي نرمال حاكم است(1) data inuariant يك شرط كه درست است در سراسر اجراي سيستم كه شامل مجموعه‌اي داده‌هاست stste(2) .

داده‌هاي ذخيره‌شده كه توسط سيستم به آنها در دسترس است و تغيير مي‌كنند 431 عمليات، يك عمليات كه در سيستم قرار دارد و داده‌ها را به State مي‌نويسد يا از آن مي‌خواند.