วันนี้วันที่ 21 พ.ค. 2560 วันสุดท้ายของในการเรียน นำเสนอ ทำ Project ของเทอมที่ 1 แล้ว มาสรุปดีกว่า ผ่านไป 5 เดือน ได้ทำอะไรไปบ้างครับ เริ่มที่เรื่องการของการเรียนก่อนเลย สำรับการเรียนที่นี้ภาคนอก กับภาคใน เรียนเท่าๆกันครับ โดยสำหรับในเทอมนี้วิชาที่ผมลงทะเบียนไว้ 4 ตัว มีดังนี้ Software Design & Development (SDD) สิ่งที่ควรรู้มาก่อน – แผนภาพ UML, พออ่าน Code รู้เรื่อง และเข้าใจ สิ่งที่เรียน – เรียนจากภาพใหญ่ไปเล็ก…
สำหรับ Blog นี้ หลังจากลอง Spin แบบมืนๆงงๆกันมาแล้ว คราวนี้มาลองลงตัว CPN Tools ซึ่งเป็นเครื่องมือสำหรับจัดการพวก Petri nets หรือ Colored Petri nets ครับ โดย Tools เป็นการพัฒนาด้วยภาษา Java ครับ มาเริ่มลงโปรแกรมกันดีกว่า ขั้นตอนการลงโปรแกรม Download ตัวโปรแกรมมากันก่อนเลยครับ จาก สำหรับผมใช้ Windows ครับ กด Next ยาวๆไปครับ ดูรูปได้จาก Gallery ครับ ลองเปิดโปรแกรมดูครับ ถ้าไม่ขึ้นต้องลอง Set JAVA_HOME ครับ…
สำหรับใน Blog ตอนนี้ผมเน้นไปทางสาวกหน้าต่างนะครับ Microsoft Windows นะครับ สำหรับบันทึกการลง Spin ในวิชา Formal Verification เตรียมตัวก่อนลง SPIN ผมลง 6.4.6 โดยผมสนใจ Full distribution, with sources ครับ Spin – เป็น Core iSpin – เป็น GUI เหมือนฝั่ง Java ก็จะเป็น jSpin UPDATE ตั้งแต่ปี 2019 เวอร์ชั่น 6.5 ย้ายไป Tags · nimble-code/Spin (github.com)…
