لینک دانلود و خرید پایین توضیحات

دسته بندی : مقاله و تحقیق
نوع فایل : .doc( قابل ويرايش و آماده ارائه )
تعداد صفحه 33 صفحه
قسمتی از متن .doc :


خلاصه
روشهاي نرمال يكپارچه براي محيط مشخصات فراهم مي‌كند تا بسوي مدلهاي تحليلي كه كاملتر ناسازگار و با ابهام كمتر از روشهاي سنتي يا شي‌گرا باشد رهنمون مي‌شود.
امكانات تشريحي تئوري مجموعه‌ها و
nofation
هاي منطقي نا مهندس نرم‌افزار يك گزاره شفاف از واقعيات(نيازمنديها) را ايجاد كند.
مفاهيم زيرساختي كه بر روشهاي نرمال حاكم است(1)
data inuariant
يك شرط كه درست است در سراسر اجراي سيستم كه شامل مجموعه‌اي داده‌هاست
stste(2
) .
داده‌هاي ذخيره‌شده كه توسط سيستم به آنها در دسترس است و تغيير مي‌كنند 431 عمليات، يك عمليات كه در سيستم قرار دارد و داده‌ها را به
State
مي‌نويسد يا از آن مي‌خواند.
يك
Stat
با دو شرط شناخته مي‌شود: شرط پيشين و شرط پسين.
رياضيات گستر
Heuristic, notation
مرتبط با مجموعه‌ها و مشخصات سازنده عملكردهاي مجموعه‌اي، عملكردهاي منطقي و دنباله‌ها – اساس روشهاي نرمال را شكل مي دهند. رياضيات گستر در يك زبان مشخصات نرمال همچون
z
...