Producción científica
Buscar por:
Lista de capítulos de libros
Publicación |
F.L. Gutierrez Vela, M. Gea-Megias
and
J.C. Torres Cantero,
"VERIFICATION OF INTERACTIVE SYSTEMS USING ALGEBRAIC SPECIFICATION", "SUPPLEMENTARY PROCEEDINGS OF THE 5TH WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS", 1998
|
M.J. Cabrera Cuevas, M.L. Rodriguez Almendros, M. Gea-Megias, F.L. Gutierrez Vela
and
J.C. Torres Cantero,
"UN LENGUAJE DE ESPECIFICACIÓN FORMAL DE SISTEMAS GRÁFICOS INTERACTIVOS", "JORNADAS DE INFORMÁTICA 1996", 143-152, 1996
|
J.C. Torres Cantero, M. Gea-Megias, F.L. Gutierrez Vela, M.J. Cabrera Cuevas
and
M.L. Rodriguez Almendros,
"GRALPLA: AN ALGEBRAIC SPECIFICATION LANGUAGE FOR INTERACTIVE GRAPHICS SYSTEMS", "DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 1996", 272-291, 1996
|
J. Parets-Llorca, A. Anaya Morito, M.J. Rodriguez Fortiz
and
P. Paderewski Rodriguez,
"A REPRESENTATION OF SOFTWARE SYSTEMS EVOLUTION BASED ON THE THEORY OF THE GENERAL SYSTEM", "LECTURE NOTES IN COMPUTER SCIENCE 763", 96-110, 1994
|
N. Medina Medina
"Diseñando videojuegos para aprender de forma divertida: en busca del equilibrio perdido", -
|
|
Última actualización del SICA: 10/01/2024