این برنامه لینوکس با نام B Compiler است که آخرین نسخه آن را می توان با عنوان bcomp_source_19.05.2009.zip دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن به نام B Compiler را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. OnWorks Linux آنلاین یا شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MACOS را از این وب سایت راه اندازی کنید.
- 5. از سیستم عامل لینوکس OnWorks که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. اپلیکیشن را دانلود کرده، نصب و اجرا کنید.
کامپایلر B
Ad
شرح
کامپایلر B ابزاری است که میتواند مدلهای B را تجزیه کند و تحلیل نحوی و معنایی را انجام دهد. همچنین میتواند بهعنوان یک کتابخانه، مرتبط با برنامههای کاربردی که مدلهای B را دستکاری میکنند (مرجع متقابل، تولیدکننده کد، تولیدکننده اسناد و غیره) استفاده شود.
مخاطبان
توسعه دهندگان
زبان برنامه نویسی
C
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/bcomp/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.