The Software Quality Page

http://www.swquality.com/users/pustaver/index.shtml

 

Software QA and Testing Resource Center

http://www.softwareqatest.com/

 

The B-Method

http://www.b-core.com/ONLINEDOC/BMethod.html

 

Formal Methods

http://vl.fmnet.info/

 

Software Quality Institute (SQI)

http://lifelong.engr.utexas.edu/sqi/index.cfm