更新时间:-- | 阅读量: 65
形式化软件规格说明方法 将软件规格说明形式化的方法根据其采用的规格说明语言的规格...可按某些规则把形式化的规格说明变换成目标软件,提高软件的生产率。对于形式化的可执行的规格说明,可把需求规格说明作为系统的原型。
搜索到与“ 形式化规格说明”相关的文献共 0条
《计算机科学技术学报(英文版)》
《Journal of Computer Science & Technology》
《瞭望》
《逻辑学研究》
《中国战略报告》
《照明工程学报》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号