概览
Eiffel是一门编程语言,同时它也是一种方法,通过这种方法,您可以有效地开发高质量的软件系统,并用同样的方法描述之。
Eiffel是一门编程语言,而又不仅仅是一门编程语言。它没有局限在实现方面意义上的编程,而是涵盖了整个软件开发周期:
分析、建模和规范制定,Eiffel可以作为纯粹的描述性工具来分析复杂软件系统(甚至是非软件系统),并为其建立文档。设计和构建,Eiffel可以用来建立强壮而灵活的系统结构。实现,Eiffel可以提供整套实用的解决方案,其效率可以与以C或Fortran等方法为基础的解决方案相媲美。维护,Eiffel在这方面有很好的表现,这要归功于它对运算结果的系统构建的灵活性。生成文档,Eiffel可以自动生成文本格式的或图形的文档,并可部分替代独立开发维护的软件文档。
尽管我们大部分时候是把Eiffel当做一门语言来使用,但是如果我们把它看做一种可以引领系统分析师和开发人员进行软件系统构建的方法会更好。Eiffel方法更关注开发效率(在时间表和预算内开发出系统的能力)和产品质量,主要体现在以下方面:
可靠性,编写合我们要求的,并存在更少Bug的软件系统。可重用性,使我们从预打包的高质量组件中开发软件系统,并将软件元素重组进这样的可以在将来重用的组件中成为可能。可扩展性,开发出真正“软”的软件——它们可以轻易的适应那些无法避免和频繁变化的需求和其它限制。可移植性,将开发人员从机器和系统特性中解放出来,使他们写出的软件可以在许多不同的平台上运行。可维护性,开发出清晰易读、结构合理、易于扩展和有较强适应性的软件。
英文原文地址:http://docs.eiffel.com/book/method/et-overview