|
|||||
|
|
Specifying Hotel Guestroom Reservation ystem Using Z Notation |
|
| Authors: | MIAO Huai-Kou Bizuneh Bekele Teklay Tesfay |
| Abstract: | The use of formal specification in software development is becoming increasingly prevalent. The Z nota-tion is a formal method, a language, and a style for expressing formal specification of software systems. This paperpresents a part of the specification work on a hotel guestroom reservation system. |
| Keywords: | Z notation state model schema state schema |
| 本文献已被 万方数据 等数据库收录！ | |