ALARCOS Research Group, Departamento de Informatica, Universidad de Castilla-La Mancha, Ciudad Real, Spain;
机译:客座社论:需求工程10周年研讨会:软件质量基础(REFSQ'2004)
机译:关于软件工程严谨和敏捷方法中的形式方法的FormSERA研讨会
机译:面向对象的进化测试:进化方法为面向对象的软件生成测试数据
机译:面向对象软件工程中定量方法的第8次研讨会(八索2004)
机译:面向对象的质量工程中的可追溯性:面向对象软件的回归分析的基础。
机译:HELIOS医疗软件工程环境中的面向对象信息系统。
机译:面向对象软件工程中的定量方法