Systemanalyse und -designStefan Gärtner × Heuristische und wissensbasierte Sicherheitsprüfung von Softwareentwicklungsartefakten basierend auf natürlichsprachlich Stefan GärtnerLogos BerlinSoftcover2016