基于构件的形式化方法在软件开发中的应用研究

【作者】 王永伟；

【导师】 杨静；

【作者基本信息】 哈尔滨工程大学 ， 计算机应用技术， 2010， 硕士