Cover Image

Verificación automática de procesos de negocio con un enfoque composicional

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Luis E. Mendoza Morales
Format:	Artículo científico
Language:	es
Published:	Universidad del Zulia 2013
Subjects:	Ingeniería modelo de tareas Procesos de negocio especificación formal verificación automática verificación composicional
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Verificación de Flujómetros
by: Marlen Lorenzo
Published: (2006)

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

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

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

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

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

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

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

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).
by: Lourdes Salome Araujo-Abad
Published: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

Análisis comparado de la desinformación difundida en Europa sobre la muerte de la reina Isabel II
by: Raquel Ruiz Incertis
Published: (2024)

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

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

IMÁGENES ASTER EN LA DISCRIMINACIÓN DE ÁREAS DE USO AGRÍCOLA EN COLOMBIA
by: Nidia Esperanza Ortiz Lozano
Published: (2009)

Verificación del pronóstico cuantitativo de la precipitación del modelo WRF para las provincias Artemisa, Mayabeque y La Habana
by: Sidney Moreno-Pacheco
Published: (2017)

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

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

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

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

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

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

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

Desinformación, bulos, curación y verificación. Revisión de estudios en Iberoamérica 2017-2020
by: Javier Guallar
Published: (2020)

Cuantificación de níquel y cobalto en aguas residuales de una planta de procesamiento de minerales auríferos
by: Rosa Amalia González-Rivero
Published: (2021)

Influencia de las propiedades de los registros de audio en sistemas de verificación de hablantes en el contexto forense: una revisión del estado del arte
by: Alexander Sepúlveda
Published: (2019)