Requel is a Web-based requirements management system that supports collaboration among all stakeholders and provides automated assistance to validate requirements and suggest improvements. It supports requirements as goals, stories, and use-cases.
cite-effect helps understand, validate and refactor programs through static analysis. After building a database, it reports variable's accesses within call tree(s), in a text format suitable for integration into editors (like jEdit or Emacs).