Toward more expressive contracts (Registro nro. 37382)
[ vista simple ]
| 000 -Cabecera | |
|---|---|
| Campo de control de longitud fija | 01623nab a22002417 4500 |
| 001 - Número de control | |
| Número de control | H004.415 JOU |
| 003 - Identificador del Número de control | |
| Identificador del número de control | AR-sfUTN |
| 008 - Códigos de información de longitud fija-Información general | |
| Códigos de información de longitud fija | 190909b xx |||p|r|||| 00| 0 spa d |
| 040 ## - Fuente de la catalogación | |
| Centro transcriptor | AR-sfUTN |
| 080 ## - CDU | |
| Clasificación Decimal Universal | H004.415 JOU |
| 100 ## - Punto de acceso principal-Nombre de persona | |
| Nombre personal | Meyer, Bertrand |
| 245 ## - Mención de título | |
| Título | Toward more expressive contracts |
| 336 ## - Tipo de contenido | |
| Fuente | rdacontent |
| Término de tipo de contenido | texto |
| Código de tipo de contenido | txt |
| 337 ## - Tipo de medio | |
| Fuente | rdamedia |
| Nombre del tipo de medio | sin mediación |
| Código del tipo de medio | n |
| 338 ## - Tipo de soporte | |
| Fuente | rdacarrier |
| Nombre del tipo de soporte | volumen |
| Código del tipo de soporte | nc |
| 505 ## - Nota de contenido con formato | |
| Nota de contenido con formato | The principles of Design by Contract form the basis of the Eiffel approach and account for a good deal of its appeal. The design has proved its value, and Eiffel programmers enjoy it. But the time may have come to revisit the trade-off and see how much more we could express with contracts - how close we could come to the goal of full specification without losing the simplicity and self evidence of the classic Eiffel mechanism. This article explores recent progress, resulting from work in several areas: 1. a language development: a new "agent" language mechanism with a new variant (inline agents); 2. new Eiffel library work, especially around EiffelBase, an open-source framework covering the fundamental data structures and algorithms; and 3. progress in the Trusted Components project 4 aimed at building a rich set of high-quality reusable components for the industry |
| 650 ## - Punto de acceso adicional de materia - Término de materia | |
| Término de materia | PROGRAMMING LANGUAGES |
| 650 ## - Punto de acceso adicional de materia - Término de materia | |
| Término de materia | TECHNOLOGICAL CHANGE |
| 650 ## - Punto de acceso adicional de materia - Término de materia | |
| Término de materia | OBJECT ORIENTED PROGRAMMING |
| 773 ## - Enlace al documento fuente | |
| Título | JOOP : the journal of object-oriented programming |
| Número de control del registro relacionado | H004.415 JOU |
| Nota | S.T.:H004.415 JOU PP3424 |
| Parte(s) relacionada(s) | (vol. 13, nro. 4, Jul-Aug. 2000), p. 39-43 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Tipo de ítem Koha | Registros analíticos |
No hay ítems disponibles.