ISO/IEC 25436:2006
Tecnologías de la información - Eiffel: Análisis, Diseño y Lenguaje de Programación

Estándar No.

ISO/IEC 25436:2006

Fecha de publicación

2006

Organización

International Organization for Standardization (ISO)

Ultima versión

ISO/IEC 25436:2006

Alcance

1.1 Descripción general Este documento proporciona la referencia completa del lenguaje Eiffel. Eiffel es un método de construcción de software y un lenguaje aplicable al análisis, diseño, implementación y mantenimiento de sistemas de software. Esta Norma Internacional cubre únicamente el lenguaje, con énfasis en los aspectos de implementación. Como consecuencia, la palabra "Eiffel" en el resto de este documento es una abreviatura de "el idioma Eiffel". 1.2 “La Norma” La definición del lenguaje propiamente dicho – “la Norma” – está contenida en la Cláusula 8 de este documento, con la excepción del texto que aparece entre los marcadores Texto informativo y Fin; dicho texto sólo desempeña un papel explicativo para los lectores humanos. 1.3 Aspectos cubiertos La Norma especifica: 　•la forma de los constituyentes legales básicos de los textos Eiffel, o las propiedades léxicas de la lengua; 　•la estructura de los textos legales de Eiffel compuesta de constituyentes léxicos legales o propiedades sintácticas; 　•restricciones suplementarias impuestas a textos Eiffel sintácticamente legales o propiedades de validez; 　•el efecto computacional de ejecutar textos Eiffel válidos, o propiedades semánticas; y • algunos requisitos para una implementación conforme a Eiffel, como la capacidad de producir ciertas formas de documentación automática. 1.4 Aspectos no cubiertos La Norma no especifica: 　•los requisitos que debe cumplir un entorno informático para soportar la traducción, ejecución y otros manejos de textos Eiffel; 　•las propiedades semánticas de un texto Eiffel si él o sus datos exceden la capacidad de un entorno informático particular; 　•los mecanismos para traducir los textos de Eiffel a un formato que pueda ejecutarse en un entorno informático; 　•los mecanismos para iniciar la ejecución del resultado de dicha traducción; y • otros mecanismos para manejar los textos de Eiffel e interactuar con los usuarios del idioma. La especificación de la Cláusula 8 consta de elementos de especificación precisos, que se originan en el libro Standard Eiffel, donde estos elementos van acompañados de explicaciones y ejemplos extensos. Los elementos retenidos son: 　•definiciones de términos técnicos y conceptos Eiffel; Tecnología de la información — EiffeI: lenguaje de análisis, diseño y programación • especificaciones de sintaxis; 　•restricciones de validez (con sus códigos, como VVBG); y • especificaciones semánticas.

ISO/IEC 25436:2006 Historia

• 2006 ISO/IEC 25436:2006 Tecnologías de la información - Eiffel: Análisis, Diseño y Lenguaje de Programación