CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

گواهی نمایه سازی مقاله استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی

عنوان مقاله: استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی
شناسه (COI) مقاله: ROUDSARIT01_242
منتشر شده در اولین همایش منطقه ای رویکردهای نوین در مهندسی کامپیوتر و فناوری اطلاعات در سال ۱۳۹۰
مشخصات نویسندگان مقاله:

سیدمجتبی سالاری - دانشگاه جامع علمی کاربردی یزد -واحد خانه کارگر
محمدجواد فتاحی - دانشگاه آزاد اسلامی اشکذر

خلاصه مقاله:
استفاده از روشهای صوردی در پیشرفت محاسبه سیستم با کیفیت تر بخصوص راحت تر و قابل اعتماد تر موثر است .تحقیق و توسعهHNSدر حال حاضر موضوع داغ در سراسر دنیا بالاخص در محاسبات فراگیر است .هدف یک سیستم خانگی فراهم سازی اطمینان و راحتی برای استفاده کنندگان خانه است . در این مقاله راه دستیابی به این امر با استفاده از پیاده سازی جاوا روی این سیستم محقق می شود .با استفاده از زبان مدل سازی جاواjmlمدل سیستم را بصورت صوری پیاده سازی می کنیم .

کلمات کلیدی:
روش صوری ، سیستم شبکه خانگی، زبان مدل سازی جاواformal method ، JML

صفحه اختصاصی مقاله و دریافت فایل کامل: https://www.civilica.com/Paper-ROUDSARIT01-ROUDSARIT01_242.html