GSN Modeler d’Artisan Software Tools

Destiné aux développeurs de systèmes critiques, ce logiciel de modélisation graphique facilite la définition et la documentation des arguments de sécurité.

Création d’arguments structurés via la notation GSN (Goal Structuring Notation)
Aide à la gestion d’arguments de sécurité complexes
Documentation non équivoque des arguments garantie

Rens. : www.artisansoftwaretools.com