Development of the tools to define formal specification of requirements using the VDM case study of borrow-return the book in the library system

Simple item page
dc.contributor.advisorThanakorn Uan-On
dc.contributor.advisorWanchai Rivepiboon
dc.contributor.advisorKasem Kulpradit
dc.contributor.authorAdisak Sangsongfa
dc.date.accessioned2024-02-06T01:48:49Z
dc.date.available2024-02-06T01:48:49Z
dc.date.copyright2000
dc.date.created2000
dc.date.issued2000
dc.descriptionTechnology of Information System Management (Mahidol University 2000)
dc.format.extentix, 109 leaves : ill.
dc.format.mimetypeapplication/pdf
dc.identifier.citationThesis (M.Sc. (Technology of Information System Management))--Mahidol University, 2000
dc.identifier.isbn9746636197
dc.identifier.urihttps://repository.li.mahidol.ac.th/handle/123456789/94538
dc.language.isoeng
dc.publisherMahidol University. Mahidol University Library and Knowledge Center
dc.rightsผลงานนี้เป็นลิขสิทธิ์ของมหาวิทยาลัยมหิดล ขอสงวนไว้สำหรับเพื่อการศึกษาเท่านั้น ต้องอ้างอิงแหล่งที่มา ห้ามดัดแปลงเนื้อหา และห้ามนำไปใช้เพื่อการค้า
dc.rights.holderMahidol University
dc.subjectLibraries -- Circulation, loans
dc.subjectInformation technology
dc.subjectObject-oriented programming (computer science)
dc.subjectVienna Development Method (VDM)
dc.titleDevelopment 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.typeMaster Thesis
dcterms.accessRightsopen access
mods.location.urlhttp://mulinet11.li.mahidol.ac.th/e-thesis/scan/4037714.pdf
thesis.degree.departmentFaculty of Engineering
thesis.degree.disciplineTechnology of Information System Management
thesis.degree.grantorMahidol University
thesis.degree.levelMaster's degree
thesis.degree.nameMaster of Science

Files

Collections

Thesis and Thematic paper