Related Web Sites

Software Engineering Sites

• SE-World provides a thorough listing of Software Engineering Events and other related information.

 
• WWW Virtual Library for Software Engineering resources

 
• Searchable list of conferencesrelated to a given area of software engineering

Testing Sites

• comp.software.testing was established to provide a forum for discussion about testing tools, techniques, and experiences among NASA, industry, and academia. The group's charter is also available.

Formal Methods Sites

• Formal Methods Archive at the University of Oxford provides lots of resources for information on formal methods reachable on the web including Who' Who on the Web and Publications in Formal Methods
 
• Seven More Myths of Formal Methods

 
• Formal Methods Panel held at Tri-Ada summarizes answers to interesting questions/problems with formal methods