Technologie-Radar
Fraunhofer AISEC: Automatisierte Analyse von Cybersicherheitsanforderungen im Software-Code
Code-Analyse-Tool Codyze wandelt produktbezogene Anforderungen in überprüfbare Regeln um und bewertet automatisch, ob der Quellcode des Produkts diese erfüllt.
