از توصیف به زبان Z تا برنامه نمونه

Publish Year: 1386
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 5,169

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

ICEE15_262

تاریخ نمایه سازی: 17 بهمن 1385

Abstract:

در این مقاله، روشی برای نمونه سازی توصیف های صوری نوشته شده در زبان Z، از طریق تبدیل آن به برنامه ای در یک زبان مبتنی بر مجموعه (SetL2) ارایه می شود. چنین نمونه ای، امکان اعتبار سنجی زودهنگام توصیف های صوری Z را فراهم می کند. رویکرد ما در این کار، بر خلاف اغلب کارهای انجام شده اجرای توصیف به زبان z نیست، لذا محدودیتی بر مجموعه عبارات موردد استفاده در بیان توصیف تحمیل نخواهیم کرد. برای چنین تبدیلی، ابتدا توصیف به کمک ابزارهای موجود و با استفاده از شمای ZML به صورت XML در می آید. سپس سند XML بدست امده به کمک شی DOM پیمایش ، تجزیه و از آن برنامه نمونه ای در زبان SetL2 ساخته می شود.

Authors

بهناز چنگیزی

دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر

سیدحسن میریان حسین آبادی

دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Slverell Linda B., Carver Doris Lم, "Experiences in Haskell Implemen ...
  • Spivey J, M., _ Z Notation: A Reference !anual", Third ...
  • International Series in Computer Science, 1396. ...
  • Jia Xiaoping, "ZTC: A Type Checker for Z rnolation - ...
  • 30, DePaul University, USA, 1998 ...
  • Abdallalh Ali E., Barros Alexandra, Barros JIose B , Bowenn ...
  • Miller Tim, Strooper Paul, J, _ Case Sudy in Specification ...
  • Doberkat Ernst-Erich, Frank Wolfgang, Gutenbeil Ulricl, Hasselbring Willeln, Laniners UIrich, ...
  • .lia Xiaoping, "An Approach _ Arnimating Z Specificatiors ", 19tl ...
  • International Conference of Z and B Users (ZB'03), LNCS, _ ...
  • Malik Petra, Utting Mark, "CZT: A Framevork for Z Tools", ...
  • Johnson M., Sanders P, "From Z Specifications _ Functional Implementat ...
  • Breuer P. T., Bowen J. _ "Tovwards correct executable semartics ...
  • Hayes l J., Jones C.B , "Specifications a.re not (necessarily) ...
  • Jia Xiaoping, Liu Hongming, Qin Lizhang, "Forma1 Structured Specification for ...
  • , Ch icago, pp. 88-97, 2003 ...
  • Keller JP., "SED: A SETL-Based Prototyping Environment", Final report of ...
  • نمایش کامل مراجع