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

Issued Date

2000

Copyright Date

2000

Resource Type

Master Thesis

Language

eng

File Type

application/pdf

No. of Pages/File Size

ix, 109 leaves : ill.

ISBN

9746636197

Access Rights

open access

Rights

ผลงานนี้เป็นลิขสิทธิ์ของมหาวิทยาลัยมหิดล ขอสงวนไว้สำหรับเพื่อการศึกษาเท่านั้น ต้องอ้างอิงแหล่งที่มา ห้ามดัดแปลงเนื้อหา และห้ามนำไปใช้เพื่อการค้า

Rights Holder(s)

Mahidol University

Bibliographic Citation

Thesis (M.Sc. (Technology of Information System Management))--Mahidol University, 2000

Suggested Citation

Adisak Sangsongfa Development of the tools to define formal specification of requirements using the VDM case study of borrow-return the book in the library system. Thesis (M.Sc. (Technology of Information System Management))--Mahidol University, 2000. Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/94538

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

Alternative Title(s)

การพัฒนาเครื่องมือเพื่อใช้ในการกำหนดคุณลักษณะของข้อมูลโดยใช้การกำหนดคุณลักษณะของข้อมูลด้วย VDM กรณีศึกษาระบบยืม-คืนหนังสือในห้องสมุด

Author(s)

Adisak Sangsongfa

Advisor(s)

Thanakorn Uan-On
 Wanchai Rivepiboon
 Kasem Kulpradit

Description

Technology of Information System Management (Mahidol University 2000)

Degree Name

Master of Science

Degree Level

Master's degree

Degree Department

Faculty of Engineering

Degree Discipline

Technology of Information System Management

Degree Grantor(s)

Mahidol University

Keyword(s)

Libraries -- Circulation, loans
 Information technology
 Object-oriented programming (computer science)
 Vienna Development Method (VDM)

Availability

URI

https://repository.li.mahidol.ac.th/handle/20.500.14594/94538

Collections

Thesis and Thematic paper