:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Luis E. Mendoza Morales
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Universidad del Zulia 2013
Soggetti:	Ingeniería modelo de tareas Procesos de negocio especificación formal verificación automática verificación composicional
Accesso online:	https://www.redalyc.org/articulo.oa?id=605767218009
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Métodos formales e Ingeniería de Software
di: Edgar Serna Montoya
Pubblicazione: (2010)

La investigación en verificación formal- un estado del arte
di: Edgar Serna M.
Pubblicazione: (2013)

UNA MIRADA CONCEPTUAL A LA GENERACIÓN AUTOMÁTICA DE CÓDIGO
di: Carlos Mario Zapata
Pubblicazione: (2010)

Verificación de Flujómetros
di: Marlen Lorenzo
Pubblicazione: (2006)

REVISIÓN, VERIFICACIÓN Y VALIDACIÓN EN UN PROCESO DE DESARROLLO DE SOFTWARE
di: Javier Blanco-Llano
Pubblicazione: (2011)

La Programación Evolutiva Aplicada para Emular Robots
di: Lars T. Hansem
Pubblicazione: (2010)

Verificación de los supuestos del modelo de Cox. Caso de estudio: banca comercial venezolana 1996-2004
di: María Alejandra Ayala
Pubblicazione: (2007)

Validez y fiabilidad de una lista de verificación en Buenas Prácticas de Manufactura para la industria de agrobiológicos
di: Lucía Huánuco Azabache
Pubblicazione: (2021)

Un aporte de Alf Ross a la estrategia de la Dóctrina Jurídica. (Hacia una mejor estrategia de la Verificación)
di: Miguel Ángel CIURO CALDANI
Pubblicazione: (2015)

TRAZABILIDAD METROLOGICA DE LOS ETILÓMETROS EN CUBA
di: Sandra Pedro-Valdés
Pubblicazione: (2012)

Estimación de la similitud semántica de tareas entre procesos de negocio de telecomunicaciones
di: Leandro Ordóñez Ante
Pubblicazione: (2012)

Verificación del método analítico de espectroscopía de absorción atómica con horno de grafito para la cuantificación de cadmio en almendra de cacao (Theobroma cacao).
di: Lourdes Salome Araujo-Abad
Pubblicazione: (2020)

Verificación de la determinación de ortofosfatos en el digestato de residuales porcinos de la provincia de Sancti Spíritus
di: Leyanet Odales-Bernal
Pubblicazione: (2019)

Filtrado wiener para la reducción de ruido en la verificación de locutores
di: Flavio J. Reyes Díaz
Pubblicazione: (2018)

Cuando 7+3=4 parece correcto: resolución automática de las restas en una tarea de verificación
di: Valle Lara Carmona
Pubblicazione: (2009)

Verificación de autoría, clasificación por vecindad
di: Daniel Castro
Pubblicazione: (2017)

Un modelo de verificación de pronósticos de precipitación
di: V. Davydova-Belitskaya
Pubblicazione: (2016)

Verificación de pronósticos climáticos en la región Habana, Artemisa y Mayabeque
di: Surisbel Larrea Valero
Pubblicazione: (2023)

Evaluación de los parámetros de desempeño de un contador hematológico
di: Jesica Parés
Pubblicazione: (2015)

Aproximación ﬁlosóﬁca a la instrumentalización cientíﬁca y económica
di: Edwin Augusto Correa Cetina
Pubblicazione: (2019)

La divulgación y verificación de memorias de RSC en las cooperativas de crédito españolas: un análisis exploratorio
di: Helena-María Bollas-Araya
Pubblicazione: (2014)

Competencias de verificación de contenidos: una propuesta para los estudios de Comunicación
di: Paula Herrero-Diz
Pubblicazione: (2022)

Desarrollo de un servicio web de verificación vehicular en centrales de riesgos crediticios
di: Félix Melchor Santos López
Pubblicazione: (2011)

Caracterización de la actividad demostrativa. Una experiencia en secundaria
di: Cristina Antonia BOLIVAR SÁNCHEZ
Pubblicazione: (2010)

Chequeando al fact-checker. Prácticas de verificación política y sesgos partidistas en Newtral (España)
di: David García-Marín
Pubblicazione: (2023)

Revisiones de código en el contexto del aseguramiento de calidad. Un caso práctico
di: M. J. Escalona
Pubblicazione: (2008)

El escenario de la calidad en la Universidad española: de dónde venimos y hacia dónde vamos
di: Jesús Miguel Muñoz-Cantero
Pubblicazione: (2014)

Prueba del software: más que una fase en el ciclo de vida
di: Edgar Serna M.
Pubblicazione: (2011)

GENERACIÓN DE ESPACIOS DE REPRESENTACIÓN DE FIRMAS DINÁMICAS: UNA REVISIÓN ENFOCADA AL ANÁLISIS DE COMPLEJIDAD
di: DAVID ESTEBAN AHMEDT
Pubblicazione: (2011)

Tesis centrales del empirismo lógico
di: Germán Guerrero Pino
Pubblicazione: (2015)

Sistema de verificación de voltaje de baterías y recarga de proveedores para simuladores de tiro de pistola Sig Sauer SP2022
di: Yazmin Jattin Vargas-Capacho
Pubblicazione: (2021)

Control de calidad de los medios de cultivo utilizados en el monitoreo ambiental de las áreas clasificadas de producción
di: Nancy Burguet Lago
Pubblicazione: (2013)

Supervisión de la instalación y evaluación del funcionamiento de sistemas de drenaje subterráneo parcelario
di: José Rodolfo Namuche Vargas
Pubblicazione: (2011)

El checklist en el intervencionismo nefrológico
di: Víctor Burguera Vion
Pubblicazione: (2020)

Cuestiones epistemológicas de teología (verificación y falsación). Lectura crítica y creyente desde el racionalismo crítico
di: Jaime Laurence Bonilla Morales
Pubblicazione: (2010)

Diseño y desarrollo de un sistema de evaluación automática de la pronunciación para el euskara
di: Igor Odriozola
Pubblicazione: (2012)

MODELAMIENTO DINÁMICO Y ESTÁTICO DEL PROCESO DE COREOGRAFÍA DE SERVICIOS WEB
di: Jorge E. Giraldo Plaza
Pubblicazione: (2009)

Verificación de tema en sistemas de diálogo mediante la aplicación de un test de hipótesis bayesiano
di: David Pérez-Piñar López
Pubblicazione: (2005)

La especificación formal en contexto: actual y futuro
di: Edgar Serna M.
Pubblicazione: (2014)

Lista de verificación para la identificación de peligros ambientales en unidades de hemodiálisis
di: María de los Ángeles Mariné Alonso
Pubblicazione: (2010)