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

نگرانی های مرتبط به مدل سازی ارزیابی سیستم های سخت افزاری در زبان الکترونیک چکیده e به عنوان یک زبان برنامه نویسی اثبات شده سخت افزاری می باشد که به صورت گسترده ای برای مشخص کردن طرح های جریانات الکترونیکی از طریق توسعه و اجرای برنامه مورد استفاده قرار می گیرد. در سال های اخیر ، رشد مستمر این تست ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک ، حفظ و گسترش آن ها شده است. در نتیجه تصمیماتی برای مستند ساختن این تست ها در سطح بالاتر انجام شده است. بر این اساس ما تلاشی را به منظور ایجاد تطبیق با رویکردهای طراحی جهت محور موجود انجام می دهیم. در این مقاله ، ما تجارب خود را در ارتباط با کاربرد این موضوعات/زبان های برنامه نویسی یکپارچه که به عنوان یک رویکرد جهت محور می باشد در زبان برنامه نویسی e مد نظر قرار می دهیم. مشخص شده است که مفاهیم جهت محوری که توسط موضوعات/زبان های برنامه نویسی یکپارچه مورد حمایت قرار می گیرند ، برای به نمایش گذاشتن زبان برنامه نویسی e به دلیل پویا بودن این زبان و ماهیت زمانی آن مناسب نمی باشند. بر مبنای چنین تجربیاتی ، ما مجموعه ای از شرایطی را مطرح می کنیم که می بایست قبل از رویکردهای طراحی جهت محور همانند موضوعات و زبان های برنامه نویسی یکپارچه که دارای قابلیت به نمایش گذاشتن سیستم های جهت محور در زبان e می باشند ، مد نظر قرار دهیم.کلمات کلیدی مربوط به این موضوع و طبقه بندی ها. D.3.3 (زبان برنامه نویسی) : ساختار زبان و خصوصیات آن؛ D.2.10 ( مهندسی نرم افزار) : طرح ؛ D.2.2 (مهندسی نرم افزار): ابزارها و تکنیک های طراحی.اصطلاحات کلی.طرح ، زبان ، اثبات.کلمات کلیدی.اثبات سخت افزاری ، زبان برنامه نویسی e ، طرحی جهت محور ، موضوع/UML.