Javier Tuya - Publicaciones
NOTE: This page is not up to date. Go to the Research Group site
(Última actualización: Dic-2000)
Verificacion Modular de Sistemas Reactivos con
Abstracciones del Entorno V Jornadas de Ingeniería del
Software y Bases de Datos , Valladolid, Noviembre 2000
Verificación Formal de Sistema de Control de Acceso
a Aplicaciones Corporativas de la F.L.C. V Jornadas de Ingeniería del
Software y Bases de Datos , Valladolid, Noviembre 2000
Effort Meassurement in Student Software Engineering Projects
ASEE/IEEE Frontiers in Education
Conference , Kansas City, MO, Octubre 2000
Auditoría informática del desarrollo de aplicaciones
VI Jornadas sobre la Enseñanza
Universitaria de la Informática , Alcalá de Henares, Setiembre 2000
On-line data gathering using GSM short messages
Experiencia de autoevaluación en un Centro Universitario
VIII Congreso de
Innovación Educativa en Enseñanzas Técnicas , Bilbao, Setiembre 2000
Quality Self Assessment at the Engineering School of the
University of Oviedo
Gestión de la Configuración del Software en un proyecto de
I+D V Jornadas
de Calidad del Software , San Sebastián, Julio 2000
Building Internet Shops: Current Status of the
CITIES Project 2nd International Conference on
Enterprise Information Systems , Stafford, England, Julio 2000
An Architecture for On-Line Intelligent Control of
Blast Furnaces 2nd International Conference on
Enterprise Information Systems , Stafford, England, Julio 2000
Seguimiento de la Ejecución de Proyectos Medición para la
Gestión en la Ingeniería del Software. José J. Dolado, Luis Fernández (Eds.)
Translating SA/RT Models to Synchronous Reactive Systems: An
Approximation to Modular Verification using the SMV Model Checker Perspectives of System Informatics. Dines Bjorner, Manfred Broy, Alexandre V.
Zamulin (Eds.) , Springer-Verlag, Vol.
LNCS #1755 , pp. 493-502, Febrero 2000
Un sistema piloto de comercio electrónico en RedIRIS
Boletín de la red
nacional de I+D
50-51 , pp. 35-38, Enero 2000
Teaching Requirements Analysis by means of Student
Collaboration ASEE/IEEE
Frontiers in Education Conference , San Juan, Puerto Rico, 1999
Verificación Formal del Subsistema de Identificación de
Clientes en una Tienda Virtual IV Jornadas de Ingeniería del
Software y Bases de Datos , Caceres, pp. 169-170, Nov. 1999
Un sistema piloto de comercio electrónico en RedIRIS
Jornadas
Técnicas RedIRIS , Oviedo, Nov. 1999
Mejora de las Prácticas de Ingeniería del Software haciendo
énfasis en el proceso
Testing the Security of Web-Based Sales Services
Evaluación y Mejora de un Curriculum en Ingeniería del
Software utilizando SPICE IV
Jornadas de Calidad del Software , Madrid, pp. 59-74, 1999
Incremental Specification and Verification of Synchronous
Reactive Systems
Translating SA/RT Models to Synchronous Reactive Systems: An
Approximation to Modular Verification
Tibleus: A Model to Build Internet Online Support Services
using ASP
Cybermercado: Marco tecnológico de un servicio de
venta en Internet dirigido a PYMES NOVATICA
Los Decision Support Systems: Arquitectura y
Aplicaciones Empresariales NOVATICA
Desarrollo de un sistema de venta en Internet
Formal Verification and Simulation of the NetBill
Protocol Using SPIN
Synchronous Estelle: A Language for Specifying
Distributed Control Systems
CITIES: a model for the development of web-based
selling services
Análisis empírico de SMV en la verificación de
Sistemas Reactivos
Enseñanza práctica de Ingeniería del Software
Mediante la Colaboración de Alumnos de Diferentes Cursos
CASE Support for Modular Verification of
Synchronous Reactive Systems
Dynamic Analysis of SA/RT Models using SPIN and
Modular Verification The Spin Verification System. J-C Grégoire,G.J. Holzmann, D.A. Peled, Eds. ,
American Mathematical Society, Vol. DIMACS/32, pp. 165-183, 1997
Seguimiento y Control del Desarrollo de Proyectos
Software en las PYMES NOVATICA
Dynamic Analysis of SA/RT Models using SPIN
Verificación de Sistemas en Tiempo Real utilizando
Comprobadores de Modelos NOVATICA
Using a Symbolic Model Checker for Verify Safety
Properties in SA/RT Models Software Engineering , Springer-Verlag, Vol.
LNCS #989 , pp. 59-75, 1995
Sistema económico de reconocimiento automático del habla
utilizando redes neuronales
Especificación y Verificación de Sistemas Reactivos
Utilizando Métodos Estructurados y Lógica Temporal Tesis Doctoral , de Ingeniería Eléctrica, Electrónica y Automática,
Universidad de Oviedo, 1994
Verificación de Sistemas Reactivos Utilizando Lógica
Temporal: Un Caso práctico
Using Structured Methods in the Development of the
User Interface Subsystem for a Reactive System
A Pragmatic Task Design Approach Based on a
Ward/Mellor Real-Time Structured Specification Software Engineering , Springer-Verlag, Vol.
LNCS #717 , pp. 301-312, 1993
Combination of Self-Organizing Maps and Multilayer
Perceptrons for Speaker Independent Isolated Word Recognition New Trends in Neural Computation , Springer-Verlag, Vol.
LNCS #686 , pp. 550-555, 1993
Specification, Design and Modula-2 Implementation of a Low Cost Industrial
Control System
Personal Page