Formal specification is a complete and accurate description of tasksthat a software system should perform.

• 形式规约(Formal Specification)是对软件系统所要解决问题的完备、精确的描述。