Javier Tuya - Publicaciones
NOTE: This page is not up to date. Go to the Research Group site
If the browser supports redirection, this page will be redirected in five seconds
(Última actualización: Dic-2000)
Verificacion Modular de Sistemas Reactivos con
Abstracciones del Entorno
Claudio de la Riva, Javier Tuya, José Ramón de Diego
En: 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.
Esther Suárez-Calvo, Javier Tuya
En: V Jornadas de Ingeniería del
Software y Bases de Datos , Valladolid, Noviembre 2000
Effort Meassurement in Student Software Engineering Projects
Javier Tuya, José García-Fanjul
In: ASEE/IEEE Frontiers in Education
Conference , Kansas City, MO, Octubre 2000
Auditoría informática del desarrollo de aplicaciones
Darío Usamentiaga, Isabel Sevilla, Javier Tuya
En: VI Jornadas sobre la Enseñanza
Universitaria de la Informática , Alcalá de Henares, Setiembre 2000
On-line data gathering using GSM short messages
Javier Tuya, R. Priore, Adenso Diaz
In: Computer Aided Design, Manufacture and Operation in the Railway and other
Advanced Mass Transit Systems, Bolonia, Italy, Setiembre 2000
Experiencia de autoevaluación en un Centro Universitario
Javier Tuya, Ricardo Tucho, Esteban Fernández-Rico
En: 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
Estéban Fernández-Rico, Javier Tuya, Ricardo Tucho, Adenso Díaz
In: Quality in Higher Education in the New Millenium, Derby, UK, Aug. 2000
Gestión de la Configuración del Software en un proyecto de
I+D
Javier Tuya, M.Jose Suárez-Cabal, Adenso Diaz
En: V Jornadas
de Calidad del Software , San Sebastián, Julio 2000
Building Internet Shops: Current Status of the
CITIES Project
Angel Goitia, Jose Garcia-Fanjul, Javier Tuya, Jose Antonio Corrales
In: 2nd International Conference on
Enterprise Information Systems , Stafford, England, Julio 2000
An Architecture for On-Line Intelligent Control of
Blast Furnaces
Javier Tuya, Eugenia Díaz, Marta Hermida, José A. López-Brugos, Angel Neira,
Alfredo Alguero, Faustino Obeso
In: 2nd International Conference on
Enterprise Information Systems , Stafford, England, Julio 2000
Seguimiento de la Ejecución de Proyectos
Javier Tuya
Medición para la
Gestión en la Ingeniería del Software. José J. Dolado, Luis Fernández (Eds.) ,
RA-MA, Vol. Capítulo: 10, pp. 193-208, Marzo 2000
Translating SA/RT Models to Synchronous Reactive Systems: An
Approximation to Modular Verification using the SMV Model Checker
Claudio de la Riva, Javier Tuya, José R. de Diego
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
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
Boletín de la red
nacional de I+D , Vol.
50-51 , pp. 35-38, Enero 2000
Teaching Requirements Analysis by means of Student
Collaboration
Javier Tuya, José García-Fanjul
In: 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
José García-Fanjul, Javier Tuya, José A. Corrales
En: 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
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
En: Jornadas
Técnicas RedIRIS , Oviedo, Nov. 1999
Mejora de las Prácticas de Ingeniería del Software haciendo
énfasis en el proceso
Javier Tuya, José García-Fanjul, José R. de Diego, Claudio de la Riva, Isabel
Sevilla, Angel Goitia
En: V Jornadas de Enseñanza Universitaria de Informática, Zaragoza, pp.
115-120, 1999
Testing the Security of Web-Based Sales Services
José García-Fanjul, Ángel Goitia, Javier Tuya, José AA. Corrales
In: International Conference on Information Systems Analysis and Synthesis,
Orlando, Florida, 1999
Evaluación y Mejora de un Curriculum en Ingeniería del
Software utilizando SPICE
Javier Tuya, José García-Fanjul
En: IV
Jornadas de Calidad del Software , Madrid, pp. 59-74, 1999
Incremental Specification and Verification of Synchronous
Reactive Systems
José R. de Diego, Javier Tuya, Claudio de la Riva
In: Fourth Workshop on Models, Environments and tools for Requirements
Engineering (Menhir), Burgos, 1999
Translating SA/RT Models to Synchronous Reactive Systems: An
Approximation to Modular Verification
Claudio de la Riva, Javier Tuya, José R. de Diego
In: 3rd International Conference Perspectives of System Informatics,
Akademgorodok, Rusia, pp. 378-384, 1999
Tibleus: A Model to Build Internet Online Support Services
using ASP
José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
In: 1st International Conference on Enterprise Information Systems, Setúbal,
Portugal, Vol. 2, pp. 619-625, 1999
Cybermercado: Marco tecnológico de un servicio de
venta en Internet dirigido a PYMES
José García Fanjul, Angel Goitia, José A. Corrales, Javier Tuya
NOVATICA , Vol.
135, pp. 25-30, Setiembre 98
Los Decision Support Systems: Arquitectura y
Aplicaciones Empresariales
Javier Tuya, Adenso Díaz
NOVATICA , Vol.
133, pp. 53-59, Mayo 98
Desarrollo de un sistema de venta en Internet
Ángel Goitia, José García-Fanjul, Alicia Cano, Eduardo Blanco, Javier Tuya,
José A. Corrales
En: III Jornadas de Ingeniería del Software, Murcia, pp. 293-302, 1998
Formal Verification and Simulation of the NetBill
Protocol Using SPIN
José García-Fanjul, Javier Tuya, José A. Corrales
In: 4th International Workshop on Automata Theoretic Verification with the SPIN
Model Checker, París, pp. 195-210, 1998
Synchronous Estelle: A Language for Specifying
Distributed Control Systems
Miguel Riesco, Javier Tuya, Oliverio González
In: International Workshop on the Formal Description Technique Estelle, Evry,
France, pp. 237-244, 1998
CITIES: a model for the development of web-based
selling services
Alicia Cano, Euardo Blanco, José García-Fanjul, Angel Goitia, Javier Tuya, José
A. Corrales
In: 4th International Conference on Information Systems, Analysis and Syntesis,
ISAS'98, Orlando, Florida, Vol. 3, pp. 387-393, 1998
Análisis empírico de SMV en la verificación de
Sistemas Reactivos
José R. De Diego, Claudio de la Riva, Javier Tuya
En: Jornadas de Ingeniería de Requisitos y ambientes Software (IDEAS'98),
Torres, Brasil, pp. 145-156, 1998
Enseñanza práctica de Ingeniería del Software
Mediante la Colaboración de Alumnos de Diferentes Cursos
Javier Tuya, Isabel Sevilla, José R. de Diego, Claudio de la Riva
En: III Jornadas de Enseñanza Universitaria de Informática (JENUI'97), Madrid,
pp. 39-45, 1997
CASE Support for Modular Verification of
Synchronous Reactive Systems
Javier Tuya, Claudio de la Riva, José R. de Diego, José A. Corrales
In: 2nd International Workshop on Formal Methods for Industrial Critical
Systems, Cesena, Italy, pp. 125-137, 1997
Dynamic Analysis of SA/RT Models using SPIN and
Modular Verification
Javier Tuya, José R. De Diego, Claudio de la Riva, José A. Corrales
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
Javier Tuya, María América Alvarez, Antonio Venero, Ramón Matilla, José A.
Corrales
NOVATICA , Vol.
125, pp. 41-46, Enero 97
Dynamic Analysis of SA/RT Models using SPIN
Javier Tuya, José R. De Diego, Claudio de la Riva, José A. Corrales
In: 2nd International Workshop on the SPIN Verification System, New Brunswick,
New Jersey, pp. 36-50, 1996
Verificación de Sistemas en Tiempo Real utilizando
Comprobadores de Modelos
Javier Tuya, José R. De Diego, José A. Corrales
NOVATICA , Vol.
118, pp. 74-81, Noviembre 95
Using a Symbolic Model Checker for Verify Safety
Properties in SA/RT Models
Javier Tuya, Luciano Sánchez, José A. Corrales
Software Engineering , Springer-Verlag, Vol.
LNCS #989 , pp. 59-75, 1995
Sistema económico de reconocimiento automático del habla
utilizando redes neuronales
Alberto Gómez, Javier Tuya
En: VI Conferencia de la Asociación Española de Inteligencia Artificial,
Alicante, 1995
Especificación y Verificación de Sistemas Reactivos
Utilizando Métodos Estructurados y Lógica Temporal
Javier Tuya
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
Javier Tuya, Luciano Sánchez, Isabel Sevilla, José A. Corrales
En: XVI Escuela de Verano de Informática, Oviedo, pp. 55-68, 1994
Using Structured Methods in the Development of the
User Interface Subsystem for a Reactive System
Javier Tuya, Luciano Sánchez, Isabel Sevilla, José A. Corrales
In: 6th International Conference on Advanced Information Systems, Utrecht,
Holland, pp. 14-16, 1994
A Pragmatic Task Design Approach Based on a
Ward/Mellor Real-Time Structured Specification
Javier Tuya, Luciano Sánchez, Rubén Zurita, José A. Corrales
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
Javier Tuya, Efrén Arias, Luciano Sánchez, José A. Corrales
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
Daniel García, Hilario López, Javier Tuya, Alberto Díez
In: 15th IFAC Workshop on Real Time Programming, Valencia, pp. 69-74, 1988
Personal Page