先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1751-8806
刊名
IET Software
参考译名
英国电气工程师学会志:软件
收藏年代
2007~2013
关联期刊
参考译名
收藏年代
IEE Proceedings
英国电气工程师学会志:软件
1999~2006
全部
2007
2008
2009
2010
2011
2012
2013
2008, vol.2, no.1
2008, vol.2, no.2
2008, vol.2, no.3
2008, vol.2, no.4
2008, vol.2, no.5
2008, vol.2, no.6
题名
作者
出版年
年卷期
Assume-guarantee testing for software components
D. Giannakopoulou; C. S. Pasareanu; C. Blundell
2008
2008, vol.2, no.6
Formal verification of systems with an unlimited number of components
P. Varekova; B. Zimmerova; P. Moravec; I. Cerna
2008
2008, vol.2, no.6
Reducing the use of nullable types through non-null by default and monotonic non-null
P. Chalin; P. R. James; F. Rioux
2008
2008, vol.2, no.6
Verification of class liveness properties with Java modelling language
A. Giorgetti; J. Groslambert; J. Julliand; O. Kouchnarenko
2008
2008, vol.2, no.6
Faithful mapping of model classes to mathematical structures
A. Darvas; P. Muller
2008
2008, vol.2, no.6
Types for task-based access control in workflow systems
Y. Lu; L. Zhang; J. Sun
2008
2008, vol.2, no.5
Conflict-aware schedule of software refactorings
H. Liu; G. Li; Z. Y. Ma; W. Z. Shao
2008
2008, vol.2, no.5
Software reliability allocation of digital relay for transmission line protection using a combined system hierarchy and fault tree approach
D. S. Roy; D. K. Mohanta; A. K. Panda
2008
2008, vol.2, no.5
Implementing a software measurement program in small and medium enterprises: a suitable framework
M. Diaz-Ley; F. Garcia; M. Piattini
2008
2008, vol.2, no.5
The π measure
B. Nikolik
2008
2008, vol.2, no.5
1
2
3
4
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024