Kunstliku keel, kasutatakse tarkvara nõue. Saadud ametlikke nõudeid võimalik tõestada õigsuse tõendamiseks meetodite abil "õige". Tuntud ka kui kontrollitav nõuded keel.