کامپیوتر 1. نگرانی های مرتبط به مدل سازی ارزیابی سیستم های سخت افزاری در زبان الکترونیک

خرید این محصول

» :: کامپیوتر 1. اضطراب های مرتبط به مدل سازی ارزیابی جهاز های سخت افزاری در زبان الکترونیک

اضطراب های مرتبط به سمت مدل سازی ارزیابی سیستم های سخت افزاری در زبان الکترونیک

 

چکیده 

e به عنوان یک زبان برنامه نویسی اثبات شده سخت افزاری می باشد که به صورت گسترده ای از بهر آشکار کردن طرح های جریانات الکترونیکی از طریق توسعه و اجرای برنامه مورد استفاده قرار می گیرد. باب سال های اخیر ، رشد مستمر این آزمایش ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک ، حفظ و گسترش آن ها شده است. در نتیجه تصمیماتی برای مستند اسم این تست ها در سطح بالاتر انجام شده است. حرف این اصل ما تلاشی را به منظور ایجاد تطبیق با رویکردهای طراحی جهت محور موجود انجام می دهیم. در این مقاله ، ما تجارب خود را باب ارتباط با استعمال این موضوعات/زبان های برنامه نویسی یکپارچه که به عنوان یک رویکرد جهت محور می باشد در زبان برنامه نویسی e مد نظر قرار می دهیم. مشخص شده است که مفهوم‌ها جهت آسه‌ای که توسط موضوعات/زبان های برنامه نویسی یکپارچه مورد حمایت قرار می گیرند ، برای به نمایش گذاشتن زبان برنامه نویسی e به دلیل پویا بودن این زبان و ماهیت زمانی آن مناسب نمی باشند. بر مبنای چنین تجربیاتی ، ما مجموعه ای از شرایطی را مطرح می کنیم که می بایست قبل از رویکردهای طراحی جهت محور همانند موضوعات و زبان های برنامه نویسی یکپارچه که دارای قابلیت به نمایش گذاشتن سیستم های جهت آسه در زبان e می باشند ، مد تماشا قرار دهیم.

کلمات کلیدی مرتبط به سمت این موضوع و طبقه بندی ها.  

D.3.3 (زبان برنامه نویسی) : ساختار زبان و خصوصیات آن؛ D.2.10 ( مهندسی رقیق افزار) : طرح ؛ D.2.2 (مهندسی نرم افزار): ابزارها و تکنیک های طراحی.

اصطلاحات کلی.

طرح ، لسان ، اثبات.

کلمات کلیدی.

تایید سخت افزاری ، زبان برنامه نویسی e ، طرحی جهت محور ، موضوع/UML.

خرید این محصول