长垣产业园区科技文献服务平台

期刊


ISSN1751-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 componentsD. Giannakopoulou; C. S. Pasareanu; C. Blundell20082008, vol.2, no.6
Formal verification of systems with an unlimited number of componentsP. Varekova; B. Zimmerova; P. Moravec; I. Cerna20082008, vol.2, no.6
Reducing the use of nullable types through non-null by default and monotonic non-nullP. Chalin; P. R. James; F. Rioux20082008, vol.2, no.6
Verification of class liveness properties with Java modelling languageA. Giorgetti; J. Groslambert; J. Julliand; O. Kouchnarenko20082008, vol.2, no.6
Faithful mapping of model classes to mathematical structuresA. Darvas; P. Muller20082008, vol.2, no.6
Types for task-based access control in workflow systemsY. Lu; L. Zhang; J. Sun20082008, vol.2, no.5
Conflict-aware schedule of software refactoringsH. Liu; G. Li; Z. Y. Ma; W. Z. Shao20082008, vol.2, no.5
Software reliability allocation of digital relay for transmission line protection using a combined system hierarchy and fault tree approachD. S. Roy; D. K. Mohanta; A. K. Panda20082008, vol.2, no.5
Implementing a software measurement program in small and medium enterprises: a suitable frameworkM. Diaz-Ley; F. Garcia; M. Piattini20082008, vol.2, no.5
The π measureB. Nikolik20082008, vol.2, no.5
1234



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024