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