این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
International Journal of Information and Communication Technology Research (IJICT، جلد ۱، شماره ۲، صفحات ۲۱-۲۷
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE
چکیده انگلیسی مقاله Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process. Hence, making effort on validating the correctness of the formal specification against the requirements in the very early stages of development is of a high value. Extracting prototype from formal specification can be a kind of such a validation. In this article, we propose a translation set of rules for building executable prototypes written in SetL2 language from formal specification in Z formal language. Then, we investigate the correctness of the translation with help of some lemmas based on weakest precondition predicate transformer and refinement relationship.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله | Behnaz Changizi
Coordination Languages Group Center of Mathematics and Informatics Amsterdam, The Netherlands


| Seyyed Hassan Mirian Hossinabadi
Computer Department Sharif University of technology Tehran, Iran
نشانی اینترنتی http://ijict.itrc.ac.ir/browse.php?a_code=A-10-27-262&slc_lang=en&sid=1
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/417/article-417-1212550.pdf
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده فناوری اطلاعات
نوع مقاله منتشر شده پژوهشی
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات