Formální rozvojová metodika

Strategie pro vývoj softwaru, která dokládá bezpečnostní specifikace návrhu.


Formal Development Methodology

Software development strategy that proves security design specifications.

Použito v metodice