Mathematical statements are designed to be unambiguous, having exactly one meaning regardless of context, whereas natural languages contain ambiguity that people resolve through context. To compensate for ambiguity, natural languages employ redundancy which mathematical statements do not need. The meaning of a mathematical statement is unambiguous and literal, understood entirely by analyzing its tokens and structure without idiom or metaphor like in natural languages.

1. NOR SHILA BT MOHD
ZAKARIYA
A140984

3.  Admin should be able to insert, modify and
delete books.
 Can accept or reject a new user according to
the library policy or payment methods.
 Increase the period for borrowing a book for
specific type or group of users.

4.  Can get the information (status report) of any member
who has borrowed a book.
 Add and edit book categories and arrange books by
categories .
 Add and edit authors and publishers information.
 Can send lateness warnings to people who have
exceeded deadline date.
 Can record books returned by users.

5.  The member should be provided with the updated
information about the books catalog.
 Members are given a provision to check their
account’s information and change it.
 Can extend the period of borrowing books according
to the library policy.
 The customer may suggest a book to be brought to
the library book collection.

6.  Librarian
(admin signed in) for all requirements below
 Insert book
This action is done to add new book to
library book collection.
 Delete / modify book
this event is to delete an existing book or
modify its information.

7.  Validate user account
When a new member sign up then he should wait for
acceptance by Administrator according to library policies.
 Delete member
Admin can delete a member due to some specific rules.
 Modify member rank
Admin can extend the borrowing time or number of
book borrowed simultaneity to a user.
 Return book
Admin should confirm the return of books borrowed by
users.

8. Normal User
 Register
when new user enters WLMS for the first time then he
has to register .
 Extending borrowing deadline.
Member can extend the borrowing time to some limit
decided by Admin.
 Reset password
When a member forgets his password he can claim it
back via e-mail.
 Edit personal information
If some user changes for example his mobile number,
he can modify it.

9.  Login
Both Admin and members must be logged in
before they modify any information .
 Search for book
When user or admin wants to search on some
book by name, author or subject .

11.  Microsoft SQL server to store the database.
 ASP.net to develop the Product.
 Existence of an Internet service to all people.
 Are librarians and users comfortable with
computers and have enough conation to work with
the product?
 Website interface must be friendly and easy-to-use.
 The search mechanism should be simple and fast.

13. Librarian
o Librarian
-(admin signed in system) for all requirements below.
Admin ->signed in system
o Insert book
This action is done to add new book to library book
collection.
This_actionadd_new_book ->library_book_collection
o Delete / modify book
this event is to delete an existing book or modify its
information.
This_event delete_exist_book v modify_information

14.  Validate user account
When a new member sign up then he should wait for acceptance by
Administrator according to library policies.
New_member ->wait_for_acceptance admin library_policies
 Delete member
Admin can delete a member due to some specific rules.
Admin delete_member_specific_rules
 Modify member rank
Admin can extend the borrowing time or number of book
borrowed simultaneity to a user.
Admin extend_borrowing_time v number_book_borrowed
_user
 Return book
Admin should confirm the return of books borrowed by users.
Admin  confirm_return _books_borrowed_users

15. Normal User
o Register
when new user enters WLMS for the first time then he has to
register .
New_User_enters_WLSM_first_time -> register
o Extending borrowing deadline.
Member can extend the borrowing time to some limit decided
by Admin.
Member_extend_borrowing_time limit_decided_admin
o Reset password
When a member forgets his password he can claim it back via
e-mail.
Member_forget_password -> claim_via_email
o Edit personal information
If some user changes for example his mobile number, he can modify it.
User_change_mobile_number -> modify_number

16.  Login
Both Admin and members must be logged in
before they modify any information .
Admin ^ members_logged modify_information
 Search for book
When user or admin wants to search on some
book by name, author or subject .
User v admin  search_book_name_author_subject

18.  ambiguity:Natural languages are full of ambiguity,
which people deal with by using contextual clues
and other information. Mathematical statements
are designed to be unambiguous, which means that
any statement has exactly one meaning, regardless
of context.
 redundancy:To make up for ambiguity and reduce
misunderstandings, natural languages are often
redundant. Mathematical statements are more
concise.

19.  Statement :The meaning of a Mathematical
statements is unambiguous and literal, and can be
understood entirely by analysis of the tokens and
structure.
 literalness:Natural languages are full of idiom and
metaphor. Formal languages mean exactly what
they say.People who grow up speaking a natural
language (everyone) often have a hard time
adjusting to formal languages. In some ways the
difference between formal and natural language is
like the difference between poetry and prose, but
more so :