язык машиночитаемых спецификаций

Readable specification language