%0 Journal Article
%T THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS<br>Z规格说明的前置条件的简化
%A MIAO Huaikou
%A <br>缪淮扣
%J 软件学报
%D 1997
%I 
%X In software methodology, formal methods is being paid more and more atten-tion and has been applied to software development. Z is a kind of software specification notations based on mathematics. The simplification of precondition is a standard check for Z specifications. This paper discusses the precondition in Z specifications and its calcula-tion, proposes a termination condition for sirnplifying the precondition and presents a sim-plifying algorithm which can automatically produce the justifications during the process of simplifying precondition.
%K Formal methods
%K Z specifications
%K precondition
%K simplification<br>形式方法
%K Z规格说明
%K 前置条件
%K 简化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=16B307678ECE26533C72C90902D9F4E9&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=9CF7A0430CBB2DFD&sid=6452E1221020E61F&eid=EB8E83807F36F05B&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=10