Institute of Electrical and Electronics Engineers (IEEE)
сфера применения
Язык функциональной проверки e — это язык программирования, ориентированный на конкретные приложения и предназначенный для автоматизации задачи проверки конструкции аппаратного или программного обеспечения на соответствие ее спецификации. Среды проверки, написанные на языке e, предоставляют модель среды, в которой ожидается функционирование проекта, включая виды ошибочных условий, которым проект должен противостоять. Типичный В...