The process of software refinement include data refinement and process refinement.
规范语言的求精过程可分为数据求精和过程求精。
Here the refinement of SOZRSL specification is divided into structure refinement, data refinement and predicate refinement.
文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精三部分。
A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
应用推荐