นี่คือแอป Linux ชื่อ RODIN ซึ่งสามารถดาวน์โหลดรุ่นล่าสุดได้เป็น rodin-3.8.0.202304051545-af2f57e1e-win32.win32.x86_64.zip สามารถทำงานออนไลน์ได้ใน OnWorks ผู้ให้บริการโฮสติ้งฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ RODIN พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ:
Rodin
รายละเอียด:
แพลตฟอร์มเครื่องมือแบบเปิดเพื่อการพัฒนาอย่างเข้มงวดและคุ้มค่าสำหรับบริการระบบซอฟต์แวร์ที่ซับซ้อนที่เชื่อถือได้ แพลตฟอร์มนี้ใช้วิธีการแบบเป็นทางการของเหตุการณ์-B และให้การสนับสนุนอย่างเป็นธรรมชาติสำหรับการปรับแต่งและการพิสูจน์ทางคณิตศาสตร์
ผู้ชม
เทคโนโลยีสารสนเทศ, วิทยาศาสตร์/การวิจัย, นักพัฒนา
ส่วนติดต่อผู้ใช้
คราส
ภาษาโปรแกรม
ชวา
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/rodin-b-sharp/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา