Formal Specification and Design Methods

Assignment # 1 Formal Specification and Design Methods CLO Covered: 3 Due Date: 12 Feb. 2019 Purpose: Understanding Z language and writing specifications of a system inZ language notations. Deliverables: Problem # 1: Provide specifications of following operations for the Hotel Booking System given below: Library total _books: P BOOK shelved books: P BOOK borrowedBooks: P BOOK Issued: BOOK NAME shelved books total books borrowedBooks dom Issued a) Add a new book b) Issue a Book o) Print the number of borrowed books Assignment # 1 Formal Specification and Design Methods CLO Covered: 3 Due Date: 12 Feb. 2019 Purpose: Understanding Z language and writing specifications of a system inZ language notations. Deliverables: Problem # 1: Provide specifications of following operations for the Hotel Booking System given below: Library total _books: P BOOK shelved books: P BOOK borrowedBooks: P BOOK Issued: BOOK NAME shelved books total books borrowedBooks dom Issued a) Add a new book b) Issue a Book o) Print the number of borrowed books