Specifying Hotel Guestroom Reservation System Using ZNotation

被引：0
|
作者：
MIAO Huai kou Bizuneh Bekele Teklay Tesfay (School of Computer Engineering and Science
机构：
来源：
Advances in Manufacturing | 1999年 / 04期
关键词：
Z notation; state model; schema; state schema;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
081202 ; 0835 ;
摘要：
The use of formal specification in software development is becoming increasingly prevalent. The Z notation is a formal method, a language, and a style for expressing formal specification of software systems. This paper presents a part of the specification work on a hotel guestroom reservation system.
引用
收藏
页码：287 / 292
页数：6
相关论文
共 50 条
  • [1] Decision Support System Using Data Warehouse for Hotel Reservation System
    Girsang, Abba Suganda
    Satya, Danang
    Isa, Sani Muhamad
    Al Fariz, Salman
    Susilo, Bambang
    Ramdani, Dudi
    MaxLian
    [J]. 2017 INTERNATIONAL CONFERENCE ON SUSTAINABLE INFORMATION ENGINEERING AND TECHNOLOGY (SIET), 2017, : 369 - 373
  • [2] Add-on pricing approach to hotel guestroom customisation
    Cozzio, Claudia
    Masiero, Lorenzo
    [J]. CURRENT ISSUES IN TOURISM, 2024,
  • [3] A real-time management system for the indoor environmental quality and energy efficiency in a hotel guestroom
    Li, Qingyun
    Koo, Choongwan
    Lu, Lin
    Han, Jie
    [J]. INTERNATIONAL JOURNAL OF RF TECHNOLOGIES-RESEARCH AND APPLICATIONS, 2020, 11 (02) : 109 - 125
  • [4] Hotel Reservation Form
    [J]. Obesity Surgery, 1997, 7 (2) : 76 - 76
  • [5] Hotel Reservation Forecasting Using Flexible Soft Computing Techniques: A Case of Study in a Spanish Hotel
    Martinez-De-Pison, E.
    Fernandez-Ceniceros, J.
    Pernia-Espinoza, A. V.
    Martinez-De-Pison, F. J.
    Sanz-Garcia, Andres
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, 2016, 15 (05) : 1211 - 1234
  • [6] The impact of mobile hotel reservation system on continuous intention to use in Jordan
    Khwaldeh, Sufian
    Alkhawaldeh, Rami S.
    Masa'deh, Ra'ed
    AlHadid, Issam
    Alrowwad, Ala'aldin
    [J]. TOURISM AND HOSPITALITY RESEARCH, 2020, 20 (03) : 358 - 371
  • [7] HOTEL RESERVATION IN A HUNGARIAN - LOCATED IN HEVIZ - THERMAL AND SPA HOTEL
    Poor, Judit
    Toth, Eva
    Besenyei, David
    [J]. DETUROPE-THE CENTRAL EUROPEAN JOURNAL OF REGIONAL DEVELOPMENT AND TOURISM, 2019, 11 (01): : 117 - 126
  • [8] THE LEVEL OF HOTEL RESERVATION SYNCHRONIZATION PROCESSES USING INFORMATION TECHNOLOGY TOOLS
    Simunic, Maja
    Pilepic Stifanich, Ljubica
    Perisic Prodan, Marina
    [J]. INTERDISCIPLINARY MANAGEMENT RESEARCH XIV (IMR 2018), 2018, 14 : 451 - 470
  • [9] Hotel Reservation and Meeting Registration Forms
    [J]. Obesity Surgery, 1999, 9 (2) : 101 - 102
  • [10] Lesson 7 Making a Hotel Reservation
    [J]. China Today, 2012, (07) : 82 - 82
12345