主题：【原创】如果软件商要承担赔偿责任 -- 冰与火

净室软件工程的文章不多。网上书店那个其实就是SEI的净室软件工程参考模型技术报告。您可以按照：

Technical Report

CMU/SEI-96-TR-022

ESC-TR-96-022

Cleanroom Software Engineering

Reference Model

Version 1.0

Richard C. Linger

Carmen J. Trammell

November 1996

查找一下。查不到的话，我可以给您一份pdf，希望能对您的工作有所帮助。

不知道您提到的“那篇”软件测试公理化的文章是哪篇，这方面我不熟，平时没什么积累。