نقد و بررسی
- بیت کامپیوتر /
- مقاله ترجمه شده Computer IT /
- مقاله ترجمه شده Computer Architecture /
- مقاله بررسی مدل های سخت افزاری با استفاده از زبان برنامه نویسی e: گزارش حاصل از بررسی ها
مقاله بررسی مدل های سخت افزاری با استفاده از زبان برنامه نویسی e: گزارش حاصل از بررسی هاModelling Hardware Verification Concerns Specified in the e Language: An Experience Report
0
(0)
در انبار موجود نمی باشد
مقاله بررسی مدل های سخت افزاری با استفاده از زبان برنامه نویسی e: گزارش حاصل از بررسی هاModelling Hardware Verification Concerns Specified in the e Language: An Experience Report
0
(0)
0دیدگاه کاربران
ژورنال | ACM |
---|---|
سال انتشار | 2009 |
صفحات فارسی | 10 تا 20 |
صفحات انگلیسی | 5 تا 10 |
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme/UML, an aspect-oriented modelling approach, to the representation of aspect-oriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme/UML are capable of representing aspect-oriented systems implemented in e.
ژورنال | ACM |
---|---|
سال انتشار | 2009 |
صفحات فارسی | 10 تا 20 |
صفحات انگلیسی | 5 تا 10 |
دیدگاه خود را در باره این کالا بیان کنید
افزودن دیدگاه
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.
هیچ پرسش و پاسخی ثبت نشده است.
پرسش خود را درباره این کالا بیان کنید
ثبت پرسش
انصراف
ثبت پرسش
محصولات مرتبط
-
ناموجود
مقاله طراحی و پیاده سازی Document Clustering توزیع شده بر پایه MapReduce
20,000 تومان -
ناموجود
مقاله تاثیر الگوریتم جدید استخراج ویژگی بر دسته بندی صفحات وب
20,000 تومان -
ناموجود
مقاله بنیانهای طراحی معماری های ایمن
20,000 تومان -
ناموجود
مقاله مقایسه الگوریتم ها برای استنتاج و یادگیری در مدل گرافیکی احتمالی
45,000 تومان -
ناموجود
مقاله سبکهای تکامل: اصول و مدلهای تکامل معماری نرم افزار
50,000 تومان -
ناموجود
مقاله نرم افزار ویژه برای آزمون مولفه های سیستم های امنیتی مجتمع NPP از تولیدکنندگان متفاوت برای امکان تجمیع و یکپارچه سازی
30,000 تومان -
ناموجود
مقاله کشف نفوذ با استفاده از تکنیک تطبیق الگوی KMP در شبکه های حسگر بیسیم
30,000 تومان -
ناموجود
مقاله شبکههای بیسیم منطقهای بدن: برنامهها و فنآوریها
28,000 تومان -
ناموجود
مقاله مدیریت دانش در عصر پردازش ابری و وب 2.0: تجربه قدرت نوآوری های برانداز
22,000 تومان -
ناموجود
مقاله افزایش امنیت تفکیک نام در شبکه های ادهاک سیار
22,000 تومان
0دیدگاه کاربران