Formal Specifications for Automated Face Recognition System using Z notations: Motivation towards Formal Methods

Abstract

: Use of Computer based systems is becoming our need with each passing day. Automated face recognition system is used in face matching in driving license, passport, and mug shot and in criminal suspects. From few decades, lot of progress has made in face recognition system. One of the major issues in automated facial recognition system is its computational complexity. Major problem in development phase of the computationally complex systems is to define user requirements accurately and precisely. Formal methods are a solution to this problem. Formal methods use mathematical notations and sets theory to articulate system specifications according to the customer needs. This paper includes formal specifications of automated face recognition system using Z notation.