Se han presentado las ideas básicas del diseño por contratos y su aplicación en la construcción de software confiable. Las ideas vertidas, que tienen su origen en los métodos formales y que fueron desarrolladas por Bertrand Meyer, son la base de un curso de grado que los autores han dictado en la Universidad de Buenos Aires con la Prof. Graciela Matich . Además soportan las investigaciones, que ellos están llevando a cabo, orientadas a la construcción de un marco de trabajo para agentes inteligentes (Rossel, 2003a). El marco de trabajo para agentes inteligentes llamado E-MOBI implementado en el lenguaje Eiffel, y que se diseña siguiendo los principios diseño por contratos, permite incorporar conocimiento basado en reglas a clases y objetos. Las características principales de E-MOBI son:

A estas características se le agrega una extensión para soportar múltiples estrategias de razonamiento, que pueden ser cambiadas dinámicamente (Rossel, 2003b). La siguiente figura muestra el contrato resumido de la clase principal de E-MOBI:

Para más información sobre el lenguaje Eiffel, puede recurrirse al sitio http://www.eiffel.com y http://www.object-tool.com. Para una discusión de un método de desarrollo y notación llamado BON (Bussines Object Notation), que está fuertemente basado en las ideas de contratos de software y cuya referencia es el libro de Waldén y Jean-Marc (Waldén,1995), puede verse el sitio: http://www.bon-method.com/ . Las figuras de este artículo siguen dicha notación . Por último, un muy interesante artículo, relativo a diseño por contratos y componentes, es “Making Components Contract Aware” (Jézéquel,1999).