A. Verwendete Software

Im Folgenden ist eine Auflistung der Software zu finden, die bei der Entwicklung verwendet wurde. Da diese Software (bis auf das Java Runtime Environment) für die Ausführung des KNF-DNF-Konverters nicht notwendig ist und daher nicht weitergegeben werden muss, erfolgt lediglich ein Hinweis darauf.

• Java (http://java.sun.com/http://java.sun.com/) - Java ist ein Warenzeichen von Sun Microsystems, Inc.
• CUP Parser Generator for Java (http://www2.cs.tum.edu/projects/cup/http://www2.cs.tum.edu/projects/cup/).
• JFlex - The Fast Scanner Generator for Java (http://jflex.de/http://jflex.de/) - lizenziert unter der GPL. (http://www.gnu.org/licenses/gpl.txthttp://www.gnu.org/licenses/gpl.txt).
• JUnit, Testing Resources for Extreme Programming
  (http://www.junit.org/http://www.junit.org/) - lizenziert unter der Common Public Licence
  (http://junit.sourceforge.net/cpl-v10.htmlhttp://junit.sourceforge.net/cpl-v10.html).
• ant_latex (http://antlatex.berlios.de/http://antlatex.berlios.de/) - Lizenz:
  http://antlatex.berlios.de/index.html#licensehttp://antlatex.berlios.de/index.html#license.
• Checkstyle (http://checkstyle.sourceforge.net/http://checkstyle.sourceforge.net/) - lizenziert unter der LGPL (http://www.gnu.org/licenses/lgpl.htmlhttp://www.gnu.org/licenses/lgpl.html).
• Cobertura (http://cobertura.sourceforge.net/http://cobertura.sourceforge.net/) - lizenziert teilweise unter der GPL (http://www.gnu.org/licenses/gpl.txthttp://www.gnu.org/licenses/gpl.txt), teilweise unter der Apache Software Licence (http://www.apache.org/licenses/http://www.apache.org/licenses/).
• PMD (http://pmd.sourceforge.net/http://pmd.sourceforge.net/) - lizeniziert unter einer ,,BSD-style licence”(http://pmd.sourceforge.net/license.htmlhttp://pmd.sourceforge.net/license.html)
• log4j (http://logging.apache.org/log4j/docs/http://logging.apache.org/log4j/docs/) - lizenziert unter der Apache Software Licence (http://www.apache.org/licenses/http://www.apache.org/licenses/).
• JDepend (http://clarkware.com/software/JDepend.htmlhttp://clarkware.com/software/JDepend.html) - lizenziert unter der BSD-Lizenz (http://www.clarkware.com/software/license.txthttp://www.clarkware.com/software/license.txt).
• ANTLR (http://www.antlr.org/http://www.antlr.org/) - lizenziert unter der BSD-Lizenz
  (http://www.antlr.org/license.htmlhttp://www.antlr.org/license.html).
• Jakarta Commons (http://jakarta.apache.org/commons/http://jakarta.apache.org/commons/) - lizenziert unter der Apache Software Licence (http://www.apache.org/licenses/http://www.apache.org/licenses/).