Käännösesimerkit
Formal methods usually begin with a problem statement but – fixing the problem too early tends to hide problems.
Muodollinen menetelmät alkavat yleensä ongelma lausunto, vaan – vahvistamisesta ongelma liian aikaista taipumus piilottaa ongelmia.
On the other hand, fixing the problem would jeopardize the schedule of an important project.
Toisaalta ongelman korjaaminen vaarantaa tärkeän projektin aikataulun.