Development of the tools to define formal specification of requirements using the VDM case study of borrow-return the book in the library system
dc.contributor.advisor | Thanakorn Uan-On | |
dc.contributor.advisor | Wanchai Rivepiboon | |
dc.contributor.advisor | Kasem Kulpradit | |
dc.contributor.author | Adisak Sangsongfa | |
dc.date.accessioned | 2024-02-06T01:48:49Z | |
dc.date.available | 2024-02-06T01:48:49Z | |
dc.date.copyright | 2000 | |
dc.date.created | 2000 | |
dc.date.issued | 2000 | |
dc.description | Technology of Information System Management (Mahidol University 2000) | |
dc.format.extent | ix, 109 leaves : ill. | |
dc.format.mimetype | application/pdf | |
dc.identifier.citation | Thesis (M.Sc. (Technology of Information System Management))--Mahidol University, 2000 | |
dc.identifier.isbn | 9746636197 | |
dc.identifier.uri | https://repository.li.mahidol.ac.th/handle/20.500.14594/94538 | |
dc.language.iso | eng | |
dc.publisher | Mahidol University. Mahidol University Library and Knowledge Center | |
dc.rights | ผลงานนี้เป็นลิขสิทธิ์ของมหาวิทยาลัยมหิดล ขอสงวนไว้สำหรับเพื่อการศึกษาเท่านั้น ต้องอ้างอิงแหล่งที่มา ห้ามดัดแปลงเนื้อหา และห้ามนำไปใช้เพื่อการค้า | |
dc.rights.holder | Mahidol University | |
dc.subject | Libraries -- Circulation, loans | |
dc.subject | Information technology | |
dc.subject | Object-oriented programming (computer science) | |
dc.subject | Vienna Development Method (VDM) | |
dc.title | Development of the tools to define formal specification of requirements using the VDM case study of borrow-return the book in the library system | |
dc.title.alternative | การพัฒนาเครื่องมือเพื่อใช้ในการกำหนดคุณลักษณะของข้อมูลโดยใช้การกำหนดคุณลักษณะของข้อมูลด้วย VDM กรณีศึกษาระบบยืม-คืนหนังสือในห้องสมุด | |
dc.type | Master Thesis | |
dcterms.accessRights | open access | |
mods.location.url | http://mulinet11.li.mahidol.ac.th/e-thesis/scan/4037714.pdf | |
thesis.degree.department | Faculty of Engineering | |
thesis.degree.discipline | Technology of Information System Management | |
thesis.degree.grantor | Mahidol University | |
thesis.degree.level | Master's degree | |
thesis.degree.name | Master of Science |