Formal Aspects Of Computing

ISI

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

Scopus

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

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

SCImago

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

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

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

اهداف مجله

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