请输入您要查询的百科知识:

 

词条 变换模型
释义

这是一种适合于形式化开发方法的模型,从软件需求形式化说明开始经过一系列变换,最终得到系统的目标程序。此模型必须有严格的数学理论和形式化技术的支持,尚处于研究和实验阶段。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/12/23 18:58:53