.Open Tools for Software Developers
. Disclaimer
These are listed with no endorsement or recommendation.

Use at your own risk.

The links are in no particular order.
. What is a Tool?
I include the obvious editors, compilers, debuggers, IDES, OSs, Diagrammers, etc
but also useful sources of information like CERT.  I also
include experimental, free, and commercial links. The quality and
price will vary: `Caveat emptor`.
. Good portal into Tool information
.See [Doernhoefer09]
Tool Time.
. Links
(Apache web servers): "A Patchy Server"
.See http://www.apache.org
.See http:/httpd.apage.org
(Blender rendering):  
.See http://www.blender3d.org/cms/Home.2.0.html
.See http://www.blendernation.com
(CASE Tools by Category): 
.See http://www.qucis.queensu.ca/Software-Engineering/toolcat.html
(Drupal content manager for web site): in $PHP
.See http://drupal.org
(Enterprise Architect): integrate UML with Eclipse, Visual Studio, ...
.See http://www.sparxsystems.com.au/products/index.html
(Facebook social graphs): 
Nexus::graphing_tool=http://nexus.ludios.net.
(GIMP Graphic Image Processor):  Not just for UNIX anymore
.See http://www.gimp.org
.See http://www.worth1000.com
(example).
(GNU Octave numerical computations):tools 
.See http://www.che.wisc.edu/octave
(Linux operating system): OS
.See http://distrowatch.com
.See http://www.linux.org/dist
(Logisim Hardware Simulation Logic gates ): in Java
.See http://ozark.hendrix.edu/~burch/logisim/download.html
(Mind Mapping by Tony Buzan): A note taking/thought provoking/organizational
tool.  They have a central node that names the topic with the key ideas radiating
out from it.  My students called them
.Key spidergrams.
I like them and use them a lot.
See
.See http://www.buzanworld.com/Mind_Maps.htm

(Mark/Space Softworks: Online - VT-100 Terminal Emulator for Palm Pilots):tool 
.See http://www.markspace.com/online.html
(Maude):tools 
.See http://maude.csl.sri.com/
(M Squared Technologies):tools 
.See http://msquaredtechnologies.com/
(MySQL DBMS): Structured Query Language relational data base
.See http://www.mysql.com
(ObjectDomain CASE):tool 
.See http://www.objectdomain.com/domain
(Palm OS Development Resources):tools 
.See http://homepages.enterprise.net/jmarshall/palmos/
(Perl): Pathologically Eclectic Report Language
.See http://www.perl.org
.See ./perl.html
.See ./languages.html#perl
(Postgres SQL DBMS): after Ingres came postgres
.See http://www.postgresgl.org
+ user friendly
(Glom):  
.See http://www.glom.org
(Python): programming language
.See ./languages.html#Python
.See http://www.python.org

(UML tools at Michael Godfey's site):tools 
.See http://plg.uwaterloo.ca/~migod/uml.html
(UML web site for use case and classes): tools
.See http://yuml.me/

(software docwiz uml):tools 
.See http://softdocwiz.com/
(Source Forge for BO2K):tools 
.See http://sourceforge.net/projects/bo2k/
(Source Forge): 500 tools
.See http://sourceforge.net/index.php
(Games Programming at Unreal Technology):tools 
.See http://unreal.epicgames.com/
(ANother Tool for Language Recognition):tools 
.See http://www.antlr.org/
(Aonix: tools and consultant):tools 
.See http://www.aonix.com/
(VIS: Verification Interacting with Synthesis):tools 
.See http://www-cad.eecs.berkeley.edu/~vis
(CERT Advisories):tools 
.See http://www.cert.org/advisories/
(CERT Computer Emergency Response Team):tools 
.See http://www.cert.org/
(Computational Logic Ltd):tools 
.See http://www.cli.com/
(CM Yellowpages: Directory of Configuration managment SCCS RCS ...):tools 
.See http://www.cmtoday.com/yp/configuration_management.html
(Coalition for Network Information ):tools 
.See http://www.cni.org/projects/
(CM/SCCS/RCS):tools 
.See http://www.componentsoftware.com/csrcs
(CM Subversion):
.See http://subversion.tigris.org
(Algorithmic and Automated Debugging):tools 
.See http://www.cs.nmsu.edu/~jeffery/aadebug.html
(RECORD - REquirements COllection Reuse and Documentation with Usecase):tools 
.See http://www.cs.umu.se/~jubo/RECORD.html
(Design Specification):tools 
.See http://www.docexpress.com/
(EG3's Software Engineering Resources):tools 
.See http://www.eg3.com/softd/softeng.htm
(Excel Software for Mac and Windows):tools 
.See http://www.excelsoftware.com/
(Iconix):tools 
.See http://www.iconixsw.com/
(Catalog of Free Compilers and Interpreters: introduction):tools 
.See http://www.idiom.com/free-compilers/
(Maven Project control and Management): XML based tool
.See http://maven.apache.org/
(Thank you Kevin for this link).
(New VDMTools release):tools 
.See http://www.ifad.dk/Products/products.htm
(Software Ltd.):tools 
.See http://www.knosof.co.uk/
(Dia a drawing program):tools 
.See http://www.lysator.liu.se/~alla/dia/dia.html
(MicroGold UML Case tool):tools 
.See http://www.microgold.com/
(XPCOM at Mozilla.org):tools 
.See http://www.mozilla.org/projects/xpcom/
(Programmer's Oasis):tools 
.See http://www.netti.fi/~simos/oasis/
(Drawing/CASE UML Tool MagicDraw):tools 
.See http://www.nomagic.com/magicdrawuml/
(PiZA: Prolog Z Animator and translator into LaTeX):tools 
.See http://www.noodles.demon.co.uk/PiZA/PiZAHome.html
(UML case tool:Objecteering):tools 
.See http://www.objecteering.com/
(Eiffel Object Tools):tools 
.See http://www.object-tools.com/
(ABC++: Automatic generation of documentation from source files):tools 
.See http://www.patriot.net/users/jones/abc
(PBX Software - Software Resource for Telecommunications):tools 
.See http://www.pbxsoftware.com/
(+1 Software Engineering Releases +1CR and Metrics4Project):tools 
.See http://www.plus-one.com/
(Power Software - Code Metrics, Browsing etc):tools 
.See http://www.powersoftware.com/
( PR-Tracker - tracks problem reports, bugs, defects.):tools 
.See http://www.prtracker.com/
(graphviz):tools 
.See http://www.research.att.com/sw/tools/graphviz/
(U/WIN: UNIX-like API for Windoze):tools 
.See http://www.research.att.com/sw/tools/uwin/
(SCULPTOR programming language):tools 
.See http://www.sculptor.com/
(Visual SlickEdit):tools 
.See http://www.slickedit.com/
(vi visual editor UNIX): Some might say the `vile` editor but still a vital tool
.See ./vi.txt
.See ./vi.notes.html
.See ./vi_charts.pdf
.See ./vi_charts.ps
.See ./vi.commands
.See ./vi.html
.See http://www.vim.org/

(SmartDraw for Flowcharts, Org Charts, Forms and Business):tools 
.See http://www.smartdraw.com/
.See http://www.smartdraw.com/tutorials/flowcharts/whatis.html
(flowcharts): From Mark Doenhoefer's January 2008 SEN article.
History:
.See http://www.fh-jena.de/~kleine/history
.See http://www.fh-jena.de/~kleine/history/software/IBM-FlowchartingTechniques-GC20-8152-1.pdf
Flowchart References at ACM
.See http://portal.acm.org/citation.cfm?id=356566.356570
Structured Analysis Wiki
.See http://yourdon.com/strucanalysis/wiki/index.php?title=Chapter_15
devFlowcharter
.See http://sourceforge.net/projects/devflowcharter

(History structured flowcharts): Ben Schneiderman
.See http://www.cs.umd.edu/hcil/members/bshneiderman/nsd

(D-charts Dimensional Flowcharts): Developed by Rob Witty in the 1970's
.Find Witty

(DFDs Data Flow Diagrams): system level notation
.See http://www.agilemodelling.com/artifacts/dataFlowDiagram.htm
.Find DFD
(New UML Tool for Java Now Shipping from Softera Ltd.):tools 
.See http://www.softera.com/news/PR12Mar99.html
(Telelogic):tools 
.See http://www.telelogic.se/
(Now part of IBM).
(Together: Drawing CASE UML Tool JavaSoft/J):tools 
.See http://www.togethersoft.com/
(UML documentation in Java):tools 
.See http://www.togethersoft.com/
(vim):tools 
.See http://www.tzi.de/~brederek/vim/
.See http://www.tzi.de/~brederek/vim/csp.vim
(Programmer's Oasis):tools (current)
.See http://www.utu.fi/~sisasa/oasis/
(NEW Website focussing on VB, ASP and XML):tools 
.See http://www.vbxml.com/
(DOC++: Automatic generation of documentation from source files):tools 
.See http://www.zib.de/Visual/software/doc++/index.html
(open source application server):tools 
.See http://www.zope.org/
(WebGui content manager system):  
.See http://www.plainblack.com/webgui
(ZMech visual CASE):tools 
.See http://xcprod.com/titan/ZMECH/
(Zope Server):
.See http://www.zope.org
(software engineering archives): 
.See http://www.qucis.queensu.ca/Software-Engineering/
(A free parallel programming environment):tools 
.See http://www.ispras.ru/~mpc/
(Template Software: EM Software Solutions): 
.See http://www.template.com/
(Tigris open source software engineering tools): Argo, Subeclipse, subversion, ...
.See http://www.tigris.org/
(Tools for WWW Authors): 
.See http://www.csci.csusb.edu/dick/www.html#WWWSoftware
(Web Design):  -- basic knowledge for making pages that work for the user.
.See http://www.usask.ca/education/coursework/skaalid/index.htm
(Statestep): a tool that claims to help uncover unexpected scenarios hidden in a specification
.See http://statestep.com/

.Open Requirements Management
(ALBERT Requirements Engineering page):tools 
.See http://www.info.fundp.ac.be/albert
(Requirements Management for Small Organizations: RequisitePro RM):tools 
.See http://www.jtan.com/~wayne/reqmgmt.html
 DOORS::="Dynamic Object Oriented  Requirements System",
.See http://www.telelogic.com/Products/doors/doors/index.cfm
(was Telelogic, now IBM).
 RequisitePro::=http://www.rational.com/products/reqpro.
.Close

. Proof Assistants
Tools to help mathematicians formalize proofs.  The following from the American Mathematical Society
.See [EditorU08]
(Coq):proof assistant
.See http://coq.inria.fr/
(HOL_light):proof assistant
.See http://www.cl.cam.ac.uk/~jrh13/hol-light/
(Isabelle):proof assistant
.See http://isabelle.in.tum.de/
(Mizar):proof assistant
.See http://mizar.org/
(ProofWeb):online proof assistant
.See http://prover.cs.ru.nl/login.php


.Close Tools for Software Developers