IEEE Std 1647-2019
Стандарт IEEE для языка функциональной проверки e
- Стандартный №
- IEEE Std 1647-2019
- Дата публикации
- 2019
- Разместил
- Institute of Electrical and Electronics Engineers (IEEE)
- Последняя версия
- IEEE Std 1647-2019
- сфера применения
- Язык функциональной проверки e — это язык программирования, ориентированный на конкретные приложения и предназначенный для автоматизации задачи проверки конструкции аппаратного или программного обеспечения на соответствие ее спецификации. Среды проверки, написанные на языке e, предоставляют модель среды, в которой ожидается функционирование проекта, включая виды ошибочных условий, которым проект должен противостоять. Типичный В...
IEEE Std 1647-2019 История
- 2019 IEEE Std 1647-2019 Стандарт IEEE для языка функциональной проверки e
- 2017 IEEE Std 1647-2016 Стандарт IEEE для языка функциональной проверки e — Redline
- 2011 IEEE Std 1647-2011 Стандарт IEEE для языка функциональной проверки e
- 2008 IEEE STD 1647-2008 Стандарт IEEE для языка функциональной проверки e
- 2006 IEEE Std 1647-2006 Стандарт IEEE для языка функциональной проверки «e»
