Source: [PPT] Specifikāciju valodu pamati (formālās metodes) (www.ltn.lv/~karlisc/StudKursi/SpecValodas/Materiali/)2008.02.08.
Formālās metodes (datorzinātne)
Formal methods (Computer science)
Sistēmas projektēšana
System design