شماره ركورد
43350
عنوان
ابزاري هوشمند براي زبان توصيفي Z
پديدآورندگان
خيامي سيدريوف نويسنده
نام دانشگاه
دانشگاه شيراز، دانشكده مهندسي
رشته
فوق ليسانس
تعداد صفحه
146
سال انتشار
1376
كليدواژه زبان طبيعي
ابزاري هوشمند , زبان توصيفي , بخش كامپيوتر
دامنه موضوعي
فني و مهندسي
چكيده
درك صحيح و دقيق صورت مسيله اولين و موثرترين قدم حل مسيله مي باشد. در مهندسي نرم افزار نيز قبل از هر كاري بايد توصيفي گويا، دقيق و كامل از نيازهاي كاربر را تهيه نمود. روشهاي قانونمند توصيف سيستم علاوه بر ايجاد توصيفي جامع و مانع از سيستم ، امكان ارزيابي صحت توصيف را نيز ايجاد مي كنند. همچنين راهكارهايي را جهت اشكال زدايي و پياده سازي خودكار توصيف ، ارايه مي دهند...
يادداشت
1
زبان
فارسي
لينک به اين مدرک