หลังจากตอนที่แล้วได้ลง Spin มาแล้ว แต่ผมเหลือบในเห็นใน List ของ Tools ที่จำเป็นในวิชา Formal Verification เห็นมีลง Graphviz ด้วย ผมเลยเอามาเขียนอีก Blog แยกดีกว่าครับ เตรียมตัวก่อนลง ลง Graphviz ทำให้ Graphviz ใช้กับ dos command ทดสอบ Graphviz ผูก iSpin Reference
สัปดาห์ที่แล้วผมได้แก้ปัญหาของรายงานที่สร้างจากตัว Crystal Report ซึ่งมีปัญหาในการ Export รายงานออกมาเป็นไฟล์ Excel แล้วไฟล์ที่ Export ออกมามี Layout เละ ผิดจากที่ได้ออกแบบไว้ใน Crystal Report เยอะเลย user เอาข้อมูลไปใช้งานต่อได้ลำบาก โดยวันนี้ผมได้สรุป เทคนิคดีๆในการจัด Layout ของ Report เพื่อให้สามารถ Export ข้อมูลออกมาได้สวยงาม และสามารถนำข้อมูลไปใช้ต่อได้ง่ายครับ ตัวอย่าง ในรายงานมีเงื่อนไขในการแสดงข้อมูล 2 ฟิลด์ ได้แก่ Grade A และ Grade B โดยใช้กำไรเป็นเงื่อนไข ถ้ากำไรมากกว่า 60,000…
