محیطی برای تولید برنامه از توصیف صوری

نویسندگان

  • آرش جلالی دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
  • سیدحسن میریان حسین آبادی دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
چکیده مقاله:

این مقاله چکیده ندارد

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

معنا در شعر عربی: از توصیف تا تولید

 معنا همچون فرم در شکل­گیری متن شعر و ادبیّت آن نقش بسزا دارد؛ با این تفاوت که در شعر مدرن نقش معنا و ابداع در آن، از اهمیت بیشتری برخوردار است و ابداع معنایی شاعر نیز زمینة گسترده‌تری دارد. نگارنده در مقالة پیش­ رو به دنبال تحلیل نقش معنا در تمایز متن شعر از متون غیر ادبی است و در این زمینه سعی داشته است به صورت مقایسه­ای معنای وصفی (اغراض شعری) و تولید معنا (معناسازی شاعر) را تحلیل کند. مقالة ...

متن کامل

ارائه یک چارچوب صوری برای توصیف پیکربندی پویای سیستم های تطبیقی

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

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره دوره 19  شماره 25 - ویژه علوم و مهندسی

صفحات  42- 53

تاریخ انتشار 2003-09-23

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

کلمات کلیدی

-

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023