搜索筛选:
搜索耗时2.5209秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：于云赫,
来源：沈阳工业大学 年份：2007
软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件的规格说明来描述计算机“做什么”。目前Z......
[期刊论文] 作者：王宏生,于云赫,古丽,
来源：沈阳工业大学学报 年份：2008
为软件工程概要设计阶段提供新方法，将软件工程语言应用于软件开发实践，进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例，研究了它们的存储......
相关搜索：
