Journal of the Medical Library Association: JMLA
Rivista
Rivista
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalCerca risorse accademiche
Esplora cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.
Ricerca avanzata
Cosa riunisce NODOVOX Discovery:
Cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Testo / risorsa
Testo / risorsa
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
Articolo
Articolo
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
Testo / risorsa
Testo / risorsa
"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
Testo / risorsa
Testo / risorsa
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)
Testo / risorsa
Testo / risorsa
"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
Tesi
Tesi
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