ISO/IEC 25436:2006
Information technology -- Eiffel: Analysis, Design and Programming Language
Product Details
Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems. ISO/IEC 25436:2006 covers only the language, with an emphasis on the implementation aspects.