|
已选(0)清除
条数/页： 排序方式：
|
| 带时间和资源约束的实例化过程模型验证方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
  收藏 | 浏览/下载：15/0 | 提交时间：2014/12/16
|
| 敏捷软件过程模型与方法研究 学位论文
2010
作者: 荣辉桂
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于LabWindows/CVI的虚拟仪器软件性能优化设计 会议论文
2009全国虚拟仪器大会, 中国广西桂林, 2009
刘娅; 李孝辉
收藏 | 浏览/下载：9/0 | 提交时间：2012/10/19
|
| 网络式软件的语义过程模型及其验证技术研究 学位论文
2009
作者: 龚平
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 具有严格操作语义的图形化软件过程建模研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
杨秋松
收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17
|
| 基于代数的软件过程建模系统的设计与实现 期刊论文
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟; 杨秋松; 翟健; 袁峰
收藏 | 浏览/下载：11/0 | 提交时间：2011/06/10
|
| 基于进程代数的软件过程建模系统的研究与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
杨国伟
收藏 | 浏览/下载：15/0 | 提交时间：2011/03/17
|
| 一种弹性的软件过程模型验证工具 期刊论文
计算机工程与设计, 2007, 期号: 7, 页码: 1497-1500
胡旷; 董广智; 田勇; 柳军飞
收藏 | 浏览/下载：53/6 | 提交时间：2011/07/01
|
| AJAX技术在连锁店事务管理系统的应用 学位论文
: 大连理工大学, 2006
作者: 王鉴
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/02
|
