Formal Methods In System Design

ISI

آخرین بروز رسانی مارس ۲۰۲۳

Scopus

آخرین بروز رسانی فوریه ۲۰۲۲

این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

آخرین بروز رسانی ژانویه ۲۰۲۰

بر اساس دسته بندی این بنیاد این مجله در دسته Q3 قرار دارد

رشته تخصصی و رتبه مجله در آن رشته:

اهداف مجله

تمرکز این مجله بر روش‌های رسمی طراحی، پیاده‌سازی و اعتبارسنجی صحت سیستم‌های سخت‌افزاری (VLSI) و نرم‌افزاری است. انگیزه راه اندازی مجله ای با این هدف هم از سوی دانشگاه و هم از سوی صنعت بود. در هر دو حوزه، علاقه به استفاده از روش‌های رسمی طی چند سال گذشته به سرعت افزایش یافته است. هزینه و زمان هنگفت مورد نیاز برای اعتبارسنجی طرح‌های جدید منجر به این شده است که تکنیک‌های قدرتمندتری باید توسعه یابند. تعدادی از تکنیک ها و ابزارها در حال حاضر برای بهبود قابلیت اطمینان و استحکام سیستم های سخت افزاری و نرم افزاری پیچیده در حال ابداع هستند. در حالی که مرز بین اجزای (زیر) یک سیستم که در سخت افزار، سیستم عامل یا نرم افزار ریخته می شوند همچنان محو می شود، رشته های طراحی مرتبط و روش های رسمی به سرعت در حال رشد هستند. در نتیجه، انتظار می‌رود مجموعه‌ای مهم (و مفید) از روش‌های رسمی رایج و کاربردی پدیدار شوند که به شدت بر محیط‌های طراحی و روش‌های طراحی آینده تأثیر خواهند گذاشت.

این مجله یک انجمن بین المللی برای انتشار تحقیقات مربوط به کاربرد و توسعه روش های رسمی در طراحی سیستم سخت افزاری (VLSI) و نرم افزاری است. مقالاتی که کار اصلی را در تمام جنبه‌های روش‌های رسمی توصیف می‌کنند، همانطور که به این حوزه کلی مربوط می‌شوند دعوت می‌شوند.