تولید اتوماتیک کد برنامه از روی ضوابط سطح بالای آن
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده زهره مافی
- استاد راهنما سعید جلیلی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1380
چکیده
تولید اتوماتیک نرم افزار به معنای ساخت یک (مجموعه) برنامه برای حل مساله مفروض است . از آنجا که امروزه کامپیوتر به اکثر محیطها راه پیدا کرده است ، هر روز نیاز به نرم افزارهای جدید بیشتر می شود. در این تحقیق با توجه به ماهیت تبدیلی سیستمهای بازنویسی، امکان اتوماسیون تولید کد برنامه از روی ضوابط ورودی، بااستفاده از این سیستمها مورد بررسی قرار گرفته است . در این راستا پس از بررسی زبانهای موجود، زبان ضابطه ای z به عنوان زبان ضوابط ورودی، و زبان پاسکال به عنوان زبان مقصد، اتخاب شده، قوانین تبدیل خودکار ضوابط z به زبان پاسکال، در یک سیستم بازنویسی ارائه می گردد. در هر مورد مثالهای مربوطه، به سیستم otter که یک محیط بازنویسی است داده شده است تا معادل ضوابط ورودی z در زبان پاسکال تولید شود. در پایان این قوانین با استفاده از روشهای موجود از نظر پایان پذیری و همگرایی مورد بررسی و تحلیل قرار گرفته اند.
منابع مشابه
سطح آشنایی و نگرش جمعیت تحت پوشش از ضوابط و الزامات برنامه پزشک خانواده شهری ایران
سابقه و هدف: در نظام ارایه خدمات سلامت چنانچه گیرندگان خدمت با خدمات قابل ارایه و ضوابط تعیین شده آن آشنا و نگرش مثبتی به آن داشته باشند، ضمن برخورداری به موقع از همه مزایای برقرار شده، میتوانند تیم سلامت را در بهبود و اثربخشی مداخلات سلامت یاری نمایند. این مطالعه با هدف تعیین سطح آشنایی و نگرش جمعیت تحت پوشش از ضوابط و الزامات برنامه پزشک خانواده شهری انجام گرفت. مواد و روش‌ها: این مطالعه مقط...
متن کاملتعیین قیمت از سوی دولت و ضوابط آن
یکی از مباحث مهم در اقتصاد، تعیین قیمت‌از سوی دولت است و این تعیین قیمت تاثیر زیادی در اقتصاد دارد به گونه ای که تولید، عرضه، اشتغال و کل بازار را تحت تاثیر خود قرار می دهد. در نگاه اول قیمت گذاری از سوی دولت امر مناسب و به جایی به نظر می رسد و دولت ها نیز چه بسا به آن اقدام نمایند.در این مقاله به نظر اندیشمندان و فقهای شیعه توجه شده است که با توجه به ادلّه شرعی آیا تعیین قیمت را جایز می دانند؟د...
متن کاملتولید اتوماتیک مدل رقومی زمین از تصاویر ماهواره‌ای با قدرت تفکیک مکانی بالا
امروزه مدل های رقومی زمینی کاربردهای متنوعی در زمینه های مقابله با سوانح طبیعی، آشکارسازی تغییرات، مدیریت منابع طبیعی، پروژه های مهندسی و... دارند. روش های سنتی تولید مدل های رقومی زمینی پرهزینه و زمانبر هستند. این روش ها عارضه مبنا بوده و روش های تناظریابی مورد استفاده در آن ها با مشکلات زیادی مواجه هستند. مدل رقومی زمینی تولیدی در این روش ها دارای اشتباهات بسیاری است از این رو نیاز به پالایش ...
متن کاملتاثیر سطح بالای مکمل عنصر روی بر غلظت لپتین، انسولین و برخی از فراسنجه‌های خونی گاو هلشتاین در دوره انتقال
عنصر روی، انسولین و لپتین نقش مهمی در متابولیسم انرژی ایفا میکنند. عنصر روی باعث افزایش اشتها و نیز باعث افزایش غلظت لپتین و انسولین در سرم خون میشود. لپتین و انسولین اشتها را کاهش میدهند. با توجه به این که در دورهی انتقال، سطح سرمی فراسنجه‌های مرتبط با مصرف خوراک اهمیت زیادی دارد، هدف این مطالعه بررسی تأثیر سطح بالای مکمل روی بر لپتین، انسولین و متابولیتهای مربوط به متابولیسم مانند...
متن کاملمحاسبه سطح بیرونی و سطح درونی یک جسم جاذب از روی برجذبی گازها به کمک ماشین حساب برنامه ای
در این مقاله روش محاسبه سطح بیرونی و سطح درونی یک جسم جاذب را از روی ایزوترم برجذبی گازهای مختلف شرح داده ایم . نخست با یک آزمایش دقیق ایزوترم برجذبی جسم را رسم کرده ، سپس با استفاده از معادله BET و معادله Pickett چهار پارامتر مهم جسم جاذب را با چند مرحله محاسبه پی درپی بدست می آوریم . برای داشتن مقادیر دقیقتر می توان مراحل محاسبه را ادامه دارد . با بهره مندی از یک ماشین حساب برنامه ای که برنام...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023