Sicherheitslucken konnen bei softwareintensiven Informationssystemen zu grossen Schaden fuhren und hohe Wartungskosten verursachen. Um Sicherheitslucken nachhaltig zu reduzieren, mussen sie schon fruhzeitig und kontinuierlich wahrend der Softwareentwicklung identifiziert werden. Hierbei mussen die Artefakte aus den verschiedenen Phasen des Softwareentwicklungsprozesses berucksichtigt werden. Sie spezifizieren das Informationssystem in Form von Anforderungen, Modellen und Quelltext. Dabei nutzen sie eine Vielzahl naturlichsprachlicher Informationen. Im Rahmen dieser Arbeit wird untersucht, wie sich naturlichsprachliche Informationen aus den Entwicklungsartefakten nutzen lassen, um potentielle Sicherheitslucken automatisch zu identifizieren. Hierzu wird eine Sicherheitsprufung basierend auf Bewertungsheuristiken und strukturiertem Sicherheitswissen vorgestellt. Die Eignung des Prufverfahrens wird anhand einer Fallstudie fur die Anforderungs-, Entwurfs- und Implementierungsphase des Softwareentwicklungsprozesses gezeigt. Die Arbeit erganzt mit dem vorgestellten Prufverfahren andere qualitatssichernde Methoden der Softwareentwicklung.