ورود
مقالات فارسیISIکنفرانسهاژورنالها

به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند

محل انتشار: اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 995

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:
https://civilica.com/doc/119855

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

ROUDSARIT01_071

تاریخ نمایه سازی: 19 مرداد 1390

چکیده مقاله:

از آنجایی که سیستم های همروند از حساسیت بالایی برخوردارنداطمینان از صحت عملکردا ین سیستم ها امری ضروری است ؛ب نابراین تولید چنین سیستم هایی از همان ابتدا نیازمند روشهای استاندارد صوری هستند تا هرگونه ابهام و نقض را در ساخت و تولید چنین سیستم هایی برطرف سازند. بنابراین استفاده از ابزاری مناسب برای توصیف سیستمهای همروند بسیار مهم است. هدف نهایی این مقاله توسعه یکمدلسازی جامع صوری از تمامی جنبه های اصلی سیستمهای همروند است که با توجه به پیشرفت کار، بخشی از مدلسازی انجام شده در این مقاله ارائه شده است.

کلیدواژه ها:

نویسندگان

حسن حقیقی

استادیار دانشگاه شهید بهشتی ، دانشکده مهندسی برق و کامپیوتر

سیده سارا شریفی راد

دانشجوی مقطع کارشناسی ارشد، دانشکده مهندسی برق، رایانه و فناوری اطل

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • _ _ of Resource_Dead ر199 Lock Prone PetriNet, Elsevier ...
  • M.J, Quinn Desiging Efficient Algorithms For Parallel Computers. McGraw-Hil Book ...
  • B.Meger, Introduction to the theory of Programming Languages, Prentice - ...
  • J. C. P. Woodcock , J. Davies, using Z: Specification, ...
  • J. M. Spivey, _ A Reference Manual , 2" edition, ...
  • No ndetermiis. in CZ Specification Language. Ph.D. dissertation, Shaif Univ. ...
  • P.America, J. Bakker, J. kok, J. Rutten, Operational ...
  • of programming Languages, PP.194-208, 1986 ...
  • L.Lamport A Simple Approach to Specifying Concurrent Systems, ACM, Vol ...
  • A.E. Abdallah , A. Barros, J.B. Barros .lose B , ...
  • Specifications, ACS/EEE International Conference on Computer Systems and Applications, Tunisia, ...
  • Andy.S.Evans An Assertional Veriication Method for Z Specification of Concurret ...
  • M.S.Fallah, A.R.Sharafat Service Availability in Concurrent Systems-Part I: A theory ...
  • specification methods using a case study International conference _ computer ...
  • J.Derrick and G.Smith. Structural Refinement of Systems Computing, 1-27, 2003. ...
  • A. S. _ Assertional Verification Method for Z Specification of ...
  • L.Lamport. TLZ.workshops in Computing, Springer- Verlag, 267-268, 1994.Abstract ...
  • D. Safranek, Visuad Specification of Concurrent Systems, International Conference _ ...
  • Andy.S.Evans Specifying & Verifying Concurrent Systems Using Z. In: ISCIS ...
  • D. Safranek, Visuad Specification of Systems with Heterogeneous Coordinatio. Models, ...
  • M.Pilling, A.Buruns, K.Raymond, Formal Specification and proof of inheritance protocols ...
  • P.Stocks, K.Raymond, D.Carrington, A.Lister, Modelling Open Distributed Systems in Z ...
  • C.Chu Chiang, Development of Concurrent Systems Through Coordination, International Conference ...
  • N.De Francesco, G. Vaglini, Modular Verification of Correctness Properties in ...
  • B.Jose, H.D.Patel, SK. Shklea, J .P.Taplin, Generating Multi_ Threaded Code ...
    • نمایش کامل مراجع