软件测评能力成熟度模型研究

软件测评作为软件质量保证的重要手段,其重要性已越来越受到各方的高度关注。要在有限的时间、人员和经费等约束条件下,验证软件是否满足要求并尽可能多地发现其中存在的缺陷,就必须找到提高测评效率和质量的有效途径,为此不仅要研究软件测评的技术、方法和工具,还必须注重软件测评过程的管理和改进。本文在借鉴CMM、CMMI、TMMi、GJB5000、GJB5000A思想的基础上,提出了适用于软件第三方测评机构的软件测评能力成熟度模型,有助于第三方测评机构改进其测评过程、主管部门遴选测评机构。     

Robin Milner谈程序语言及计算机科学

美国ＡＣＭ通讯杂志高级编辑Ｋａｒｅｎ Ａ． Ｆｒｅｎｋｅｌ于１９９２年底访问了英国爱丁保大学图灵奖获得者Ｒｏｂｉｎ Ｍｉｌｎｅｒ教授，他结合本人的经历谈到了ＭＬ的设计过程，通讯系统演算的成长，硬件与并发性关系，面向对象程序设计的基本问题以及对计算机科学与实践关系的看法，颇有见地，值得一读。     

Robin Milner谈程序语言及计算机科学——Karen A.Frenkel访问记

美国 ACM 通讯杂志高级编辑 Karen A.Frenkel 于1992年底访问了英国爱丁堡大学图灵奖获得者Robin Milner 教授,他结合本人的经历谈到了 ML(元语言)的设计过程、通讯系统演算(CCS)的成长、硬件与并发性关系、面向对象程序设计的基本问题以及对计算机科学与实践关系的看法,颇有见地,值得一读。