El Instituto Politécnico Nacional
Contribuye al desarrollo económico y social de la nación, a través de la formación integral de personas competentes; de la investigación, el desarrollo tecnológico y la innovación. Además tiene reconocimiento internacional por su calidad e impacto social.
Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/15189| Título : | JavaA: Inclusión de Aserciones en Java |
| Autor : | Katrib, Miguel Fernández, Damián |
| Palabras clave : | Palabras Clave. Java, aserciones, diseño por contratos, programación orientada a objetos. |
| Fecha de publicación : | 17-sep-1998 |
| Editorial : | Revista Computación y Sistemas; Vol. 2 No. 1 |
| Citación : | Revista Computación y Sistemas; Vol. 2 No. 1 |
| Citación : | Revista Computación y Sistemas;Vol. 2 No. 1 |
| Resumen : | Resumen. Las aserciones son cláusulas lógicas que se integran a los lenguajes de programación para mejorar la especificación y la verificación. El lenguaje Java no tiene recursos de este tipo. En este artículo se presenta una propuesta de integración de aserciones al lenguaje Java. Se mejoran, con la inclusión de cuantificadores, las posibilidades de estas aserciones para el diseño y especificación. Se analizan las premisas que debe satisfacer una implementación de esta integración y se muestra un esquema general de implementación así como que se analizan las limitaciones del propio Java para la misma. |
| URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/15189 |
| ISSN : | 1405-5546 |
| Aparece en las colecciones: | Revistas |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| ART 4 (2).pdf | 1.01 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.