readable specification language

Язык машиночитаемых спецификаций (в автоматизиции проектирования)