[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] / [Samples] / tools
[Index] [Contents] [Source Text] [About] [Notation] [Copyright] [Comment/Contact] [Search ]
Fri Nov 16 04:11:32 PST 2012

Opening the PDF files on this page may require you to download Adobe Reader or an equivalent viewer (GhostScript).

Opening Microsoft files (winzip, word, excel, powerpoint) on this page may require you to download a special viewer. Or you can download and save the files and use your preferred office applications to view and edit them.

Contents


    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.

      Also see

      1. computer_languages::= See http://cse.csusb.edu/dick/samples/languages.html.
      2. methods::= See http://cse.csusb.edu/dick/samples/methods.html, including patterns, methodologies, processes, agility, etc etc.
      3. objects::= See http://cse.csusb.edu/dick/samples/objects.html.
      4. people::= See http://cse.csusb.edu/dick/samples/people.html.
      5. standards::= See http:///dick/samples/standards.html.
      6. tools::= See http://cse.csusb.edu/dick/samples/tools.html.
      7. xml::= See http://cse.csusb.edu/dick/samples/xml.html.
      8. z::= See http://cse.csusb.edu/dick/samples/z.html.
      9. other_miscelaneous_links::= See http://cse.csusb.edu/dick/samples/etc.html.

      Good portal into Tool information

      [Doernhoefer09] Tool Time.

      Search engines for code


      (Koders): [ http://www.koders.com/ ]
      (Krugle): [ http://www.krugle.com/ ]
      (Google): [ http://www.google.com/codesearch/ ]
      (SourceForge): [ http://sourceforge.net/ ]

      Links -- Listing here does not endorse the product


      (+1 Software Engineering Releases +1CR and Metrics4Project): tools [ http://www.plus-one.com/ ]
      (ABC++: Automatic generation of documentation from source files): tools [ abc ]
      (Algorithmic and Automated Debugging): tools [ aadebug.html ]
      (ANT ANother Tool for Language Recognition): tools [ http://www.antlr.org/ ]
      (Aonix: tools and consultant): tools [ http://www.aonix.com/ ]
      (Apache web servers): "A Patchy Server" [ http://www.apache.org/ ] [/httpd.apage.org/]


      (Bontq Bug Tracking): web and desktop [ http://bontq.com/ ]
      (Blender rendering): [ Home.2.0.html ] [ http://www.blendernation.com/ ]


      (CASE Tools by Category): [ toolcat.html ]
      (Catalog of Free Compilers and Interpreters: introduction): tools [ http://www.idiom.com/free-compilers/ ]
      (CERT Advisories): tools [ http://www.cert.org/advisories/ ]
      (CERT Computer Emergency Response Team): tools [ http://www.cert.org/ ]
      (Computational Logic Ltd): tools [ http://www.cli.com/ ]
      (CM Yellowpages: Directory of Configuration managment SCCS RCS ...): tools [ configuration_management.html ]
      (Coalition for Network Information ): tools [ http://www.cni.org/projects/ ]


      (CM/SCCS/RCS): tools [ csrcs ]
      (CM Subversion): [ http://subversion.tigris.org/ ]
      (Git Github Gollum): distributed revision and configuration management tools [Spinellis12a]


      (Code bubbles): tool IDE [ codebubbles_site.htm ]


      (Design Specification): tools [ http://www.docexpress.com/ ]
      (DFDs Data Flow Diagrams): system level notation [ dataFlowDiagram.htm ] DFD
      (Dia a drawing program): tools [ dia.html ]
      (Drupal content manager for web site): in PHP [ http://drupal.org/ ]


      (EG3's Software Engineering Resources): tools [ softeng.htm ]
      (Eiffel Object Tools): tools [ http://www.object-tools.com/ ]
      (Excel Software for Mac and Windows): tools [ http://www.excelsoftware.com/ ]


      (Enterprise Architect): integrate UML with Eclipse, Visual Studio, ... [ index.html ]


      (Facebook social graphs):

    1. Nexus::graphing_tool= See http://nexus.ludios.net.


      (flowcharts): From Mark Doenhoefer's January 2008 SEN article. History: [ history ] [ IBM-FlowchartingTechniques-GC20-8152-1.pdf ] Flowchart References at ACM [ citation.cfm?id=356566.356570 ] Structured Analysis Wiki [ index.php?title=Chapter_15 ] devFlowcharter [ devflowcharter ]
      (Flowcharts History structured flowcharts): Ben Schneiderman [ nsd ]
      (D-charts Dimensional Flowcharts): Developed by Rob Witty in the 1970's Witty
      (free parallel programming environment): tools [ http://www.ispras.ru/~mpc/ ]


      (Games Programming at Unreal Technology): tools [ http://unreal.epicgames.com/ ]
      (graphviz): tools [ http://www.research.att.com/sw/tools/graphviz/ ]
      (GIMP Graphic Image Processor): Not just for UNIX anymore [ http://www.gimp.org/ ] [ http://www.worth1000.com/ ] (example).
      (Glom): [ http://www.glom.org/ ]
      (GNU Octave numerical computations): tools [ http://www.che.wisc.edu/octave/ ]


      (Iconix): tools [ http://www.iconixsw.com/ ]


      (Linux operating system): OS [ http://distrowatch.com/ ] [ http://www.linux.org/dist/ ]
      (Logisim Hardware Simulation Logic gates ): in Java [ 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 spidergrams. I like them and use them a lot. See [ Mind_Maps.htm ]
      (Drawing/CASE UML Tool NoMagic): tools [ http://www.nomagic.com ]
      (Mark/Space Softworks: Online - VT-100 Terminal Emulator for Palm Pilots): tool [ online.html ]
      (Maude): tools
      (Maven Project control and Management): XML based tool [ http://maven.apache.org/ ] (Thank you Kevin for this link). [ http://maude.csl.sri.com/ ]
      (M Squared Technologies): tools [ http://msquaredtechnologies.com/ ]
      (MicroGold UML Case tool): tools [ http://www.microgold.com/ ]
      (MySQL DBMS): Structured Query Language relational data base [ http://www.mysql.com/ ]


      (PBX Software - Software Resource for Telecommunications): tools [ http://www.pbxsoftware.com/ ]
      (Perl): Pathologically Eclectic Report Language [ http://www.perl.org/ ] [ perl.html ] [ languages.html#perl ]
      (PiZA: Prolog Z Animator and translator into LaTeX): tools [ PiZAHome.html ]
      (Postgres SQL DBMS): after Ingres came postgres [ http://www.postgresgl.org/ ] + user friendly
      (Programmer's Oasis): tools [ http://www.netti.fi/~simos/oasis/ ] [ http://www.utu.fi/~sisasa/oasis/ ]
      (Python): programming language [ languages.html#Python ] [ http://www.python.org/ ]
      (Power Software - Code Metrics, Browsing etc): tools [ http://www.powersoftware.com/ ]
      (PR-Tracker - tracks problem reports, bugs, defects.): tools [ http://www.prtracker.com/ ]


      (RECORD - REquirements COllection Reuse and Documentation with Usecase): tools [ RECORD.html ]


      (software docwiz uml): tools [ http://softdocwiz.com/ ]
      (Source Forge for BO2K): tools [ http://sourceforge.net/projects/bo2k/ ]
      (Source Forge): 500 tools [ index.php ]
      (Software Ltd.): tools [ http://www.knosof.co.uk/ ]
      (software engineering archives): [ http://www.qucis.queensu.ca/Software-Engineering/ ]
      (SCULPTOR programming language): tools [ http://www.sculptor.com/ ]
      (SmartDraw for Flowcharts, Org Charts, Forms and Business): tools [ http://www.smartdraw.com/ ] [ whatis.html ]
      (Statestep): a tool that claims to help uncover unexpected scenarios hidden in a specification [ http://statestep.com/ ]


      (Telelogic): tools [ http://www.telelogic.se/ ] (Now part of IBM).
      (Together: Drawing CASE UML Tool JavaSoft/J): tools [ http://www.togethersoft.com/ ]
      (Template Software: EM Software Solutions): [ http://www.template.com/ ]
      (Tigris open source software engineering tools): Argo, Subeclipse, subversion, ... [ http://www.tigris.org/ ]
      (Tools for WWW Authors): [ WWWSoftware in www ]


      (UML tools at Michael Godfey's site): tools [ uml.html ]
      (UML Tool for Java Now Shipping from Softera Ltd.): tools [ PR12Mar99.html ]
      (UML documentation in Java): tools [ http://www.togethersoft.com/ ]
      (UML web site for use case and classes): tools [ http://yuml.me/ ]
      (UML case tool:Objecteering): tools [ http://www.objecteering.com/ ]
      (U/WIN: UNIX-like API for Windoze): tools [ http://www.research.att.com/sw/tools/uwin/ ]


      (VDMTools release): tools [ products.htm ]
      (VIS: Verification Interacting with Synthesis): tools [ ~vis ]
      (Visual SlickEdit): tools [ http://www.slickedit.com/ ]
      (vi visual editor UNIX): Some might say the vile editor but still a vital tool [ vi.txt ] [ vi.notes.html ] [ vi_charts.pdf ] [ vi_charts.ps ] [ vi.commands ] [ vi.html ] [ http://www.vim.org/ ]
      (vim): tools [ http://www.tzi.de/~brederek/vim/ ] [ csp.vim ]


      (Web Design): -- basic knowledge for making pages that work for the user. [ index.htm ]
      (Website focussing on VB, ASP and XML): tools [ http://www.vbxml.com/ ]
      (open source application server): tools [ http://www.zope.org/ ]
      (WebGui content manager system): [ webgui ]


      (XPCOM at Mozilla.org): tools [ http://www.mozilla.org/projects/xpcom/ ]


      (ZMech visual CASE): tools [ http://xcprod.com/titan/ZMECH/ ]
      (Zope Server): [ http://www.zope.org/ ]

      Requirements Management


        (Requirements Management for Small Organizations RequisitePro RM): tools [ reqmgmt.html ]
      1. DOORS::="Dynamic Object Oriented Requirements System", [ index.cfm ] (was Telelogic, now IBM).
      2. RequisitePro::= See http://www.rational.com/products/reqpro.

      Proof Assistants

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

    . . . . . . . . . ( end of section Tools for Software Developers) <<Contents | End>>

End