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