نام فایل : فرمال متد

فرمت : .doc

تعداد صفحه/اسلاید : 33

حجم : 328 کیلوبایت

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