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

F. EJAZ, I. AHMED, N. I. CHAUDHRY, N. J. RAJPER

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.


Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Copyright (c) 2019 Sindh University Research Journal - SURJ (Science Series)

 Copyright © University of Sindh, Jamshoro. 2017 All Rights Reserved.
Printing and Publication by: Sindh University Press.