Validación automática de sistemas

En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto se hace una reseña sobre algunas herra...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Merlino, Hernán, Fernández, Enrique, Rodríguez, Dario, Britos, Paola Verónica, García Martínez, Ramón
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2007
Materias:	Ciencias Informáticas Informática Validation aalidación automática Model Validation and Analysis automatización Automation automatic validation
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22141
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Toward metrics and model validation in web-site QEM
por: Olsina Santos, Luis Antonio, et al.
Publicado: (2000)

Aplicación y valoración de la verificación y validación de software: una encuesta realizada en Buenos Aires
por: De Greca, Francisco, et al.
Publicado: (2015)

Validación de requerimientos a través de modelos conceptuales : Modelos y transformaciones
por: Marciszack, Marcelo Martín, et al.
Publicado: (2013)

Learning and validation in neural network ensembles
por: Granitto, Pablo Miguel, et al.
Publicado: (2001)

Validando domicilios mediante técnicas de clustering
por: Negrotto, Daniel, et al.
Publicado: (2020)

A tool for detecting transient faults in execution of parallel scientific applications on multicore clusters
por: Montezanti, Diego Miguel, et al.
Publicado: (2013)

Teoría general de las ineficacias /
Publicado: (2000)

Distant Supervised Construction and Evaluation of a Novel Dataset of Emotion-Tagged Social Media Comments in Spanish
por: Tessore, Juan Pablo, et al.
Publicado: (2021)

Aplicación móvil con finalidad de ahorro sobre compras en supermercados
por: Ballardini, Fabricio, et al.
Publicado: (2016)

Building a validity argument for a listening test of academic proficiency
por: Aryadoust, Vahid
Publicado: (2013)

Automated abstractions for contract validation
por: De Caso, G., et al.

Automated abstractions for contract validation
por: de Caso, Guido, et al.
Publicado: (2012)

Verification and validation of domain specific languages using Alloy
por: Garis, Ana Gabriela, et al.
Publicado: (2015)

First Steps in Creating a Methodology to Develop and Test Scheduling Policies for Internet of Things
por: Verghelet, Paula, et al.
Publicado: (2020)

Índices de validación para algoritmos de agrupamiento
por: Campo, David Nazareno
Publicado: (2019)

Implementación de patrones en la validación de modelos conceptuales
por: Marciszack, Marcelo Martín, et al.
Publicado: (2015)

La validez del derecho /
por: Nino, Carlos Santiago
Publicado: (1985)

Dynamic Validation of Software Architectural Connectors
por: Asteasuain, Fernando, et al.
Publicado: (2016)

El método freudiano y la validación de resultados terapéuticos
por: Bachmann, Ruth Melina, et al.
Publicado: (2014)

Diseño y validación de método de medición de luminotecnia.
por: Caivano, Martín Ezequiel
Publicado: (2023)

El sistema de formación docente y la producción, relevancia, validación y legitimación del conocimiento: algunas dimensiones para abordar una agenda aún pendiente.
por: Ricci, Cristina Rafaela
Publicado: (2018)

Forecasting maize yield at field scale based on high-resolution satellite imagery
por: Schwalbert, Rai A., et al.
Publicado: (2020)

A Validation System for the Complex Event Processing Directives of the ATLAS Shifter Assistant Tool
por: Santos, Alejandro, et al.
Publicado: (2015)

Towards a platform to evaluate the impact of resource information distribution in IOT environments
por: Verghelet, Paula, et al.
Publicado: (2020)

Dynamic Building of Software Architectural Connectors View
por: Asteasuain, Fernando, et al.
Publicado: (2017)

Family Functionality: Translation, validity, and reliability of SCORE-15 in the Peruvian general population
por: Sánchez-Villena, Andy Rick, et al.
Publicado: (2023)

Enabledness-based program abstractions for behavior validation
por: De Caso, G., et al.

El concepto de validez y otros ensayos /
por: Ross, Alf, 1899-1979
Publicado: (2006)

Enabledness-based program abstractions for behavior validation
por: de Caso, Guido, et al.
Publicado: (2013)

A Lightweight Approach for the Semantic Validation of Model Refinements
por: Pons, Claudia, et al.
Publicado: (2008)

Digital outcrop modelling using "structure-from- motion" photogrammetry: acquisition strategies, validation and interpretations to different sedimentary environments
por: Bilmes, Andrés, et al.
Publicado: (2019)

Comparing genomic prediction models by means of cross validation
por: Schrauf, Matías Florián, et al.
Publicado: (2021)

TAPIR: An Object-Oriented Programming Testing Framework based on Message Sequence Specification with Aspect-Oriented Programming
por: Larrea, Martín Leonardo, et al.
Publicado: (2020)

Distant Supervised Construction and Evaluation of a Novel Dataset of Emotion‑Tagged Social Media Comments in Spanish
por: Tessore, Juan Pablo, et al.
Publicado: (2021)

Lessons from a comprehensive validation of an agent based - model the experience of the Pampas Model of Argentinean agricultural systems

Validade e Confiabilidade das Medidas de Confiança Interpessoal: O Barômetro das Américas
por: Lucio Rennó
Publicado: (2011)

A simple RP-HPLC method for the determination of clotrimazole from acrylic nanocapsule suspensions
por: Santos, Sara S., et al.
Publicado: (2012)

La vigencia, la eficacia y la aplicaci�on de las normas /
Publicado: (2009)

Los conceptos de validez en la investigación social y su abordaje pedagógico
por: Concha R., Víctor

Program abstractions for behaviour validation
por: De Caso, G., et al.