ISO/IEC 25436:2006
Информационные технологии - Эйфель: язык анализа, проектирования и программирования

Стандартный №

ISO/IEC 25436:2006

Дата публикации

2006

Разместил

International Organization for Standardization (ISO)

Последняя версия

ISO/IEC 25436:2006

сфера применения

1.1 Обзор В этом документе представлен полный справочник по языку Eiffel. Эйфель — это метод создания программного обеспечения и язык, применимый к анализу, проектированию, внедрению и обслуживанию программных систем. Настоящий международный стандарт охватывает только язык, уделяя особое внимание аспектам реализации. Как следствие, слово «Эйфель» в остальной части этого документа является аббревиатурой от «эйфелева языка». 1.2 «Стандарт» Собственно определение языка — «Стандарт» — содержится в пункте 8 настоящего документа, за исключением текста, появляющегося между маркерами «Информационный текст» и «Конец»; такой текст играет только объяснительную роль для читателей. 1.3 Охватываемые аспекты Стандарт определяет: 　•форму юридических основных составляющих эйфелевых текстов или лексические свойства языка; 　•структура юридических эйфелевых текстов, состоящая из лексически юридических составляющих или свойств синтаксиса; 　•дополнительные ограничения, налагаемые на синтаксически законные эйфелевские тексты или свойства достоверности; 　•вычислительный эффект выполнения действительных Эйфелевых текстов или семантических свойств; и • некоторые требования к соответствующей реализации Eiffel, такие как способность создавать определенные формы автоматической документации. 1.4 Неохваченные аспекты Стандарт не определяет: 　•требования, которым должна соответствовать вычислительная среда для поддержки перевода, выполнения и другой обработки эйфелевых текстов; 　•семантические свойства эйфелевого текста, если он или его данные превышают возможности конкретной вычислительной среды; 　•механизмы перевода эйфелевых текстов в форму, которую можно выполнить в вычислительной среде; 　•механизмы запуска выполнения результата такой трансляции; и • другие механизмы обработки эйфелевых текстов и взаимодействия с пользователями языка. Спецификация раздела 8 состоит из точных элементов спецификации, взятых из книги Standard Eiffel, где эти элементы сопровождаются подробными пояснениями и примерами. Сохраняются следующие элементы: 　•определения технических терминов и концепций Эйфеля; Информационные технологии — EiffeI: Язык анализа, проектирования и программирования • спецификации синтаксиса; 　•ограничения действительности (с их кодами, например, VVBG); и • семантические спецификации.

ISO/IEC 25436:2006 История

• 2006 ISO/IEC 25436:2006 Информационные технологии - Эйфель: язык анализа, проектирования и программирования