中图分类法:	TP311.5 版次：
题名:	Refinement techniques in software engineering : [ First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 : revised lectures /] / ,
其它题名:	PSSE 2004
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2006.
载体形态:	x, 391 p. : ill. ; 24 cm.
主题词:	Software engineering
主要责任者:	Cavalcanti, Ana.
主要责任者:	Sampaio, Augusto.
主要责任者:	Woodcock, Jim.