به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند
- سال انتشار: 1390
- محل انتشار: اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: ROUDSARIT01_071
- زبان مقاله: فارسی
- تعداد مشاهده: 1015
نویسندگان
استادیار دانشگاه شهید بهشتی ، دانشکده مهندسی برق و کامپیوتر
دانشجوی مقطع کارشناسی ارشد، دانشکده مهندسی برق، رایانه و فناوری اطل
چکیده
از آنجایی که سیستم های همروند از حساسیت بالایی برخوردارنداطمینان از صحت عملکردا ین سیستم ها امری ضروری است ؛ب نابراین تولید چنین سیستم هایی از همان ابتدا نیازمند روشهای استاندارد صوری هستند تا هرگونه ابهام و نقض را در ساخت و تولید چنین سیستم هایی برطرف سازند. بنابراین استفاده از ابزاری مناسب برای توصیف سیستمهای همروند بسیار مهم است. هدف نهایی این مقاله توسعه یکمدلسازی جامع صوری از تمامی جنبه های اصلی سیستمهای همروند است که با توجه به پیشرفت کار، بخشی از مدلسازی انجام شده در این مقاله ارائه شده است.کلیدواژه ها
روشهای صوری، سیستمهای همروند، توصیف صوری، زبان Zمقالات مرتبط جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.