Computer programs; Software engineering; Government procurement; Off the shelf equipment; Computer program reliability; Computerized simulation; Requirements; Antimissile defense systems; Data processing security; Standards; Internet; Workshops; Information assurance;
机译:SQM 2014会议记录的序言-第八届软件质量和可维护性国际研讨会
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:书评:实现软件质量:1996年第三届软件质量国际会议论文集,由Sandro Bologna和Giacomo Bucci编辑。由英国伦敦查普曼和霍尔出版社出版,1996年。ISBN:0 412 63900 9,428页。价钱:60.00英镑,精装书。
机译:第六届国际软件过程研讨会的“对软件过程的支持”会议论文集
机译:教师认识论在整合以学生为中心的教学软件中的作用:社会研究教育中的案例研究。
机译:使用新型的完整幻灯片成像软件平台进行国际多中心验证研究以评估肝转移的组织学生长模式
机译:国家软件研究中心关于可信赖软件的研讨会论文集