سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

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

Publish Year: 1386
Type: Conference paper
Language: Persian
View: 5,347

This Paper With 7 Page And PDF Format Ready To Download

Export:

Link to this Paper:

Document National Code:

ICEE15_262

Index date: 6 February 2007

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

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

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

از توصیف به زبان Z تا برنامه نمونه 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 ...
نمایش کامل مراجع

مقاله فارسی "از توصیف به زبان Z تا برنامه نمونه" توسط بهناز چنگیزی، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر؛ سیدحسن میریان حسین آبادی، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر نوشته شده و در سال 1386 پس از تایید کمیته علمی پانزدهیمن کنفرانس مهندسی برق ایران پذیرفته شده است. کلمات کلیدی استفاده شده در این مقاله توصیف صوری ، نمونه سازی ، ZMl, Z ,SetL2 هستند. این مقاله در تاریخ 17 بهمن 1385 توسط سیویلیکا نمایه سازی و منتشر شده است و تاکنون 5347 بار صفحه این مقاله مشاهده شده است. در چکیده این مقاله اشاره شده است که در این مقاله، روشی برای نمونه سازی توصیف های صوری نوشته شده در زبان Z، از طریق تبدیل آن به برنامه ای در یک زبان مبتنی بر مجموعه (SetL2) ارایه می شود. چنین نمونه ای، امکان اعتبار سنجی زودهنگام توصیف های صوری Z را فراهم می کند. رویکرد ما در این کار، بر خلاف اغلب کارهای انجام شده اجرای توصیف ... . برای دانلود فایل کامل مقاله از توصیف به زبان Z تا برنامه نمونه با 7 صفحه به فرمت PDF، میتوانید از طریق بخش "دانلود فایل کامل" اقدام نمایید.