منابع مشابه
Análisis de Sistemas Críticos en Teoría de Tipos
Para el análisis de sistemas reactivos y de tiempo real se destacan dos enfoques formales: la verificación de modelos y el análisis deductivo basado en asistentes de pruebas. El primero se caracteriza por ser completamente automatizable pero presenta dificultades al tratar sistemas con un gran número de estados o que tienen parámetros no acotados. El segundo permite tratar con sistemas arbitrar...
متن کاملWinsumar: Distribución y Consulta Electrónica de Sumarios de Revistas
Presentamos una aplicación destinada a la gestión y distribución de sumarios de revistas a través de Internet que combina la presentación de los mismos vía WWW juntamente con opciones de suscripción y recepción periódica en el buzón de correo electrónico del usuario. A diferencia de otros productos, Winsumar no está ligado a ningún productor de sumarios y permite, tanto la introducción manual d...
متن کاملPrincipios Básicos de Usabilidad para Ingenieros Software
La usabilidad es un tema que está cobrando una importancia cada vez mayor en el desarrollo de software. A pesar de ello, la Ingeniería del Software sigue centrándose casi exclusivamente en atributos del software más relacionados con el interior del sistema, como el rendimiento o la fiabilidad. En el entorno actual, en el que los sistemas software están dirigidos a un público cada vez más amplio...
متن کاملATENEX: una Plataforma de Creación y Distribución de Contenidos
ATENEX proporciona alternativas en el uso de CED tanto al profesorado que desea simplemente usar los recursos educativos digitales como a quienes, además, desean crearlos. Se trata de una plataforma que integra un Banco de Recursos, un Gestor de Aprendizaje y una herramienta de autor que funciona tanto en sistemas Linux como en Windows, y que permite la creación de OAs empaquetados en SCORM. Pa...
متن کاملGeneración y Distribución de Conocimiento de Calidad Mediante Agentes
La generaci6n y distribuci6n de conocimiento dentro de un equipo requiere de un conjunto de m6todos y t6micas para la motivaci6n y superaci6n de las personas. Se presents como gran reto superar el estado de conocirniento estancado, provocado 'por la reticencia en la comunicaci6n, la falta de t6cnicas apropiadas, el desconocimiento existente sobre estos ternas, y la dificil consecuci6n del flujo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Industrial Data
سال: 2014
ISSN: 1810-9993,1560-9146
DOI: 10.15381/idata.v1i2.6418