JavaA: Inclusión de Aserciones en Java

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 l...

Descripción completa

Detalles Bibliográficos
Autores: Katrib, Miguel, Fernández, Damián
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:1998
País:México
Institución:Instituto Politécnico Nacional
Repositorio:Repositorio Digital del IPN
OAI Identifier:oai:www.repositoriodigital.ipn.mx:123456789/15189
Acceso en línea:http://www.repositoriodigital.ipn.mx/handle/123456789/15189
Access Level:acceso abierto
Palabra clave:Palabras Clave. Java, aserciones, diseño por contratos, programación orientada a objetos.
Descripción
Sumario: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.