عنوان انگلیسی مقاله: Modelling Hardware Verification Concerns Specified in the
e Language
عنوان فارسی مقاله: مسائل مرتبط به مدل سازی تایید سخت افزاری در زبان برنامه نویسی الکترونیک.
دسته: کامپیوتر و فناوری اطلاعات
فرمت فایل ترجمه شده: فایل Word ورد 2007 یا 2003 (Docx یا Doc) قابل ویرایش
تعداد صفحات فایل ترجمه شده: 14
ترجمه سلیس و روان مقاله آماده خرید می باشد.
_______________________________________
چکیده
زبان
الکترونیک (زبان برنامه نویسی e) به عنوان زبان اثبات شده سخت افزاری می
باشد که به صورت گسترده ای برای مشخص کردن طرح های جریانات الکترونیکی از
طریق توسعه و اجرای برنامه، مورد استفاده قرار می گیرد. در سال های اخیر،
رشد مستمر این تست ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک، حفظ و
گسترش آن ها شده است. در نتیجه تصمیماتی برای مستند ساختن این تست ها در
سطح بالاتر گرفته شده است. بر این اساس، تلاشی را به منظور ایجاد تطبیق با
رویکردهای مدلسازی جنبه گرا کنونی، انجام می دهیم. در این مقاله، تجارب خود
را در ارتباط با کاربرد این درون مایه/ زبان های برنامه نویسی یکپارچه که
به عنوان یک رویکرد جنبه گرا می باشد، در ارائه تست های جنبه گرا که در زبان
برنامه نویسی e، مد نظر قرار می دهیم. مشخص شده است که مفاهیم جنبه گرا
که توسط موضوعات/زبان های برنامه نویسی یکپارچه مورد حمایت قرار می گیرند،
برای به ارائه زبان برنامه نویسی e به دلیل پویا بودن این زبان و ماهیت
زمانی آن، مناسب نمی باشند. بر مبنای چنین تجربیاتی، ما مجموعه ای از
شرایطی را مطرح می کنیم که می بایست قبل از رویکردهای طراحی جنبه گرا
همانند موضوعات و زبان های برنامه نویسی یکپارچه که دارای قابلیت عرضه
سیستم های جنبه گرا در زبان e می باشند، مد نظر قرار می دهیم.