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 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 “El Estándar” La definición del lenguaje propiamente dicho – “el Estándar” – está contenida en la Partición 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 básicos legales de los textos de Eiffel o las propiedades léxicas de la lengua. ? La estructura de los textos legales de Eiffel está formada por 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. ? 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. ? Otros mecanismos para el manejo de textos Eiffel y la interacción con los usuarios de la lengua. La especificación de la Partición 8 consta de elementos de especificación precisos, que se originan en el libro Standard Eiffel, donde estos elementos van acompañados de extensas explicaciones y ejemplos. Los elementos retenidos son: ? Definiciones de términos técnicos y conceptos Eiffel. ? Especificaciones de sintaxis. ? Restricciones de validez (con sus códigos, como VVBG). ? Especificaciones semánticas.
ECMA 367-2006 Historia
2006ECMA 367-2006 Eiffel: Análisis, Diseño y Lenguaje de Programación
2005ECMA 367-2005 Análisis Eiffel @ Lenguaje de diseño y programación (1.ª edición)