Journal of the Medical Library Association: JMLA
Revista
Revista
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalBuscar recursos académicos
Explorá catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
Búsqueda avanzada
Qué reúne NODOVOX Discovery:
Catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Texto / recurso
Texto / recurso
Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código d...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessIter-T: ITERative Test suite generation for automated program repair
Artículo
Artículo
Test-based automated program repair (TB-APR) techniques automatically fix buggy programs by relying on a failing test suite. This test suite serves a dual purpose: pinpointing bugs and evaluating the validity of potentia...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessAnalysis of invariants for efficient bounded verification
Texto / recurso
Texto / recurso
"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessAnálisis modular y recuperación de contraejemplos en TACO
Texto / recurso
Texto / recurso
TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, par...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessEvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Texto / recurso
Texto / recurso
"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessUso de especificaciones para superar las limitaciones de la reparación automatizada de programas basada en pruebas
Tesis
Tesis
Automated program repair often relies on syntactic transformations, generating large numbers of fix candidates whose correctness must be validated. Due to the combinatorial explosion of candidate combinations, existing t...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access