این برنامه ویندوز با نام Visual Figaro است که آخرین نسخه آن را می توان با نام jEdit4.5+VisualFigaro2.1portable.zip دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن Visual Figaro را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. هر شبیه ساز آنلاین OS OnWorks را از این وب سایت راه اندازی کنید، اما شبیه ساز آنلاین ویندوز بهتر است.
- 5. از OnWorks Windows OS که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. برنامه را دانلود و نصب کنید.
- 7. Wine را از مخازن نرم افزار توزیع لینوکس خود دانلود کنید. پس از نصب، می توانید روی برنامه دوبار کلیک کنید تا آنها را با Wine اجرا کنید. همچنین می توانید PlayOnLinux را امتحان کنید، یک رابط کاربری فانتزی بر روی Wine که به شما کمک می کند برنامه ها و بازی های محبوب ویندوز را نصب کنید.
Wine راهی برای اجرای نرم افزار ویندوز بر روی لینوکس است، اما بدون نیاز به ویندوز. Wine یک لایه سازگار با ویندوز منبع باز است که می تواند برنامه های ویندوز را مستقیماً بر روی هر دسکتاپ لینوکس اجرا کند. اساساً، Wine در تلاش است تا به اندازه کافی از ویندوز را از ابتدا مجدداً پیاده سازی کند تا بتواند همه آن برنامه های ویندوز را بدون نیاز به ویندوز اجرا کند.
اسکرین شات ها:
ویژوال فیگارو
DESCRIPTION:
Visual Figaro یک محیط یکپارچه برای توسعه کتابخانههای مؤلفه برای ابزار مدلسازی قابلیت اطمینان KB3 است که توسط EDF استفاده میشود.http://www.edf.fr/recherche/codes-de-calcul/kb3). KB3 مبتنی بر زبان مدلسازی قابلیت اطمینان FIGARO است که برای توصیف CTMC (زنجیرههای مارکوف زمان پیوسته)، مدلهای DES (شبیهسازی رویداد گسسته) و برای تولید خودکار درختهای خطا مناسب است. فیگارو شی گرا، نزدیک به زبان طبیعی است و امکان ساخت کتابخانه هایی از اجزای قابل استفاده مجدد (پایه های دانش) را فراهم می کند. برای دانلود ابزارهای مختلف مبتنی بر فیگارو (Visual Figaro، KB3، YAMS)، نمونهها و مستندات، به تب "Files" بروید.
امکانات
- تخصص خود را در مدل سازی قابلیت اطمینان و امنیت در کتابخانه های فیگارو به دست آورید
- Visual Figaro: کمک نحوی برای ساخت کتابخانه های FIGARO که می توانید در KB3 بارگذاری کنید
- Visual Figaro: مجموعه ای از کتابخانه های آموزشی را مرور و ویرایش کنید، آنها را مطابق با نیازهای خود تنظیم کنید.
- Visual Figaro: درخت های خطا را مستقیماً از مدل های متنی فیگارو ایجاد می کند
- Visual Figaro: از شبیه ساز تعاملی برای اعتبارسنجی مدل های پویا خود استفاده کنید
- KB3: بارگذاری کتابخانه های فیگارو، تولید خودکار درختان خطا و مدل های شبیه سازی رویداد گسسته
- با استفاده از کتابخانه های آماده، ایمنی، قابلیت اطمینان و امنیت سیستم خود را ارزیابی کنید
مخاطبان
علم/تحقیق، آموزش، امنیت، مهندسی
زبان برنامه نویسی
جاوه
دسته بندی ها
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/visualfigaro/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.