Formal Method for Requirement Analysis Using Z Notation
Hongwu Tang · Science Technology and Engineering · 2008
Non-formal requirement specification bring ambiguity easily, and causes the software system can’t satisfy the client’s function request .Z notation is a model-based specification language based on set theory and first-order predicate logic. It can used to precisely express requirement specifications. Formal method for requirement analysis using Z notation is introduced, and an example of general stack described in Z notation is given, also, the places of this formal method that need to study further are pointed.