Thanakorn Uan-OnWanchai RivepiboonKasem KulpraditAdisak Sangsongfa2024-02-062024-02-06200020002000Thesis (M.Sc. (Technology of Information System Management))--Mahidol University, 20009746636197https://repository.li.mahidol.ac.th/handle/20.500.14594/94538Technology of Information System Management (Mahidol University 2000)ix, 109 leaves : ill.application/pdfengผลงานนี้เป็นลิขสิทธิ์ของมหาวิทยาลัยมหิดล ขอสงวนไว้สำหรับเพื่อการศึกษาเท่านั้น ต้องอ้างอิงแหล่งที่มา ห้ามดัดแปลงเนื้อหา และห้ามนำไปใช้เพื่อการค้าLibraries -- Circulation, loansInformation technologyObject-oriented programming (computer science)Vienna Development Method (VDM)Development of the tools to define formal specification of requirements using the VDM case study of borrow-return the book in the library systemการพัฒนาเครื่องมือเพื่อใช้ในการกำหนดคุณลักษณะของข้อมูลโดยใช้การกำหนดคุณลักษณะของข้อมูลด้วย VDM กรณีศึกษาระบบยืม-คืนหนังสือในห้องสมุดMaster ThesisMahidol University