Productos como referentes explícitos en el modelado de procesos de negocios

La necesidad de eficiencia y organización en un mundo cada vez más competitivo, ha impulsado, en la última década, la investigación y desarrollo de distintos métodos y formalismos (lenguajes) en el área de procesos de negocios; particularmente ha tenido un gran auge la especificación y verificación...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Regis, Germán, Aguirre, Nazareno Matías
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2009
Materias:	Ciencias Informáticas Formal methods Real time Business
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/21066
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Verificación de propiedades temporales en PPML
por: Regis, Germán, et al.
Publicado: (2008)

Enhancing the adoption of formal methods to design real-time systems
por: Felder, Miguel, et al.
Publicado: (1996)

Modelización formal y verificación automática de sistemas de tiempo real
por: Olivero, Alfredo, et al.
Publicado: (2000)

Business process modeling using petri nets with clocks
por: Riesco, Daniel Eduardo, et al.
Publicado: (2001)

Improving Real Time Search Performance using Inverted Index Entries Invalidation Strategies
por: Ríssola, Esteban A., et al.
Publicado: (2016)

A formal design notation for real-time systems
por: Felder, M., et al.

A formal design notation for real-time systems
Publicado: (2002)

Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
por: Aguirre, Fernando, et al.
Publicado: (2013)

Using business process reengineering to obtain a RAISE specification
por: Riesco, Daniel Eduardo, et al.
Publicado: (2002)

A fault resilience tool for embedded real-time systems
por: Lima Santos, Franklin, et al.
Publicado: (2013)

Modelado de aplicaciones con procesos concurrentes y distribuidos
por: Giulianelli, Daniel Alberto, et al.
Publicado: (2005)

A UML profile to model classifier refinements
por: Correa, Natalia, et al.
Publicado: (2005)

Modeling and Checking Real-Time System Designs
por: Braberman, Victor Adrian
Publicado: (2000)

Evaluación de Modelos Conceptuales de Procesos de Negocio
por: Salgado, Carlos Humberto, et al.
Publicado: (2012)

Especificación y análisis de una plataforma con facilidades para la implementación de sistemas de tiempo real
por: Cayssials, Ricardo, et al.
Publicado: (1998)

Análisis de experimentos de comunicaciones de tiempo real en el Bus CAN
por: Tinetti, Fernando Gustavo, et al.
Publicado: (2017)

Design of a real-time hidden markov model state decoding system
por: Barone, Dante Augusto Couto, et al.
Publicado: (2001)

Using JOP to build a chip multiprocessor JVM for embedded realtime systems
por: Andreotti, José Pablo A.
Publicado: (2007)

Framework para modelado de transacciones en sistemas de bases de datos de tiempo real
por: Buckle, Carlos, et al.
Publicado: (2013)

Verificando diseños BON mediante Alloy
por: Castro, Pablo Francisco, et al.
Publicado: (2005)

Model checking RAISE applicative specifications
por: Perna, Juan I., et al.
Publicado: (2006)

A virtual reality computing platform for real time 3D visualization
por: Alvarado, Yoselie, et al.
Publicado: (2012)

Multiplexing real time video services
por: Simón, María, et al.
Publicado: (1997)

A formal model for some behavioural features of analysis patterns
por: Buccella, Agustina, et al.
Publicado: (2000)

Modeling of embedded software on MDA platform models
por: Soares, Inali Wisniewski, et al.
Publicado: (2012)

Intelligent alarms detection for the analysis of system fault impact on business
por: Pace, C., et al.
Publicado: (1998)

Branching data structures for real-time model checking not as good as thought
por: Pérez, Gervasio, et al.
Publicado: (2012)

Algoritmos y técnicas de tiempo real para el incremento de la precisión posicional relativa usando receptores GPS estándar
por: Toloza, Juan Manuel
Publicado: (2014)

Sistemas de tiempo real distribuidos usando microcontroladores
por: Romero, Fernando, et al.
Publicado: (2015)

Diseño de un sistema de monitoreo meteorológico utilizando la metodología de codiseño hardware/software
por: Martinez, Matias, et al.
Publicado: (2015)

A novel framework for integrating real-time optimization and optimal scheduling : Application to heat and power systems
por: Serralunga, Fernán J., et al.
Publicado: (2014)

Sistema de seguimiento automático por imágenes
por: García, Santiago, et al.
Publicado: (2013)

An comparative analysis of different models of belief revision using information from multiple sources
por: Tamargo, Luciano H., et al.
Publicado: (2008)

Incorporando Alloy en desarrollos basados en metodologías agiles
por: Bonino, María Belén, et al.
Publicado: (2015)

Microcontroladores en tiempo real
por: Spinelli, Enrique Mario, et al.
Publicado: (1997)

An embedded real-time co-processor for control applications
por: Cayssials, Ricardo, et al.
Publicado: (2005)

A fault resilience tool for embedded real-time systems
por: Lima Santos, Franklin, et al.
Publicado: (2014)

Experimentación y evaluación de sistemas operativos de tiempo real
por: Romero, Fernando, et al.
Publicado: (2011)

Ambiente para especificación de requerimientos de sistemas de tiempo real
por: Rocca, Paulo L.
Publicado: (1993)

Planificación de tareas en sistemas de tiempo-real
por: Aciti, Claudio, et al.
Publicado: (2016)