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