For nogle metoder er det nødvendigt at anvende specifikke, veldefinerede og verificerede softwarebaserede systemer.

Teoretisk Grundlæggelse af Formal Metoder

For nogle metoder og metoder, der er relevante for de enkelte krav. Teknikere som f.eks. metodekontrol, sætning, analyse og fortolkning, og de fleste af disse metoder er relevante for de enkelte krav, og de er relevante for den enkelte metodes udvikling.

Practical Implementation Strategies

Implementering af metoder, der involverer udvalgte hensigtsmæssige værktøjer og teknikker, der er egnede til at opfylde dette systems kompleksitet. Det omfatter kreatio- og formningsspecifikke metoder, gennemførelse af verificatio- og aktivitets-og integreringsmetoder, udvikling af nye arbejdsfunktioner og automatisering af værktøjer, der er i stand til at tilpasse sig og opfylde deres forpligtelser, og udvikling af metoder til at tilpasse sig til de nye krav.

Benefit og Challenges

Udarbejdelse af metoder til forbedring af systme korrektes, reduktion af errorerne og forbedring af arbejdsforholdene.