Ken Wong's List of Software Engineering WWW Sites - This collection of WWW sites references materials in Software Engineering, Software Reengineering, Testing, Safety-Critical Systems, Formal Methods, Object-Oriented Topics, CASE Tools, Programming Languages, and Ada. (Ken Wong is no longer at the University of British Columbia. As a result, the provided link goes to an archived copy of this page.)
NASA Langley Formal Methods Team - The goals and strategy of the NASA Langley Formal Methods program are to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States, and to orchestrate the transfer of this technology to industry through use of carefully designed demonstration projects.
DACS Gold Practice Initiative
