First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects.

Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.

Maintain financial and credit system and program updates, and financial department in close contact to ensure that all financial and credit program, effective implementation of specification.