Vad är den formella förvandling system utvecklingsmodellen livscykel?

Vad är den formella förvandling system utvecklingsmodellen livscykel?

Detta är en av många modeller för programvaruutveckling. Använd denna modell, den utveckling bara behöver konvertera kravet från kund till modell språket sedan använda automatiserade verktyg för att generera körbar programfil. Detta har verktyg do omvandlingen allmänna nog att beskriva problemet exakt. Det är fortfarande inte populär metod att utveckla affärsprogram idag. Men i framtiden kan det vara användbart när det finns många standard affärsfall definieras