Producción científica
Buscar por:
Lista
| Publicación |
|
M.J. Hornos Barranco
and
M.I. Capel Tuñon,
"ON-THE-FLY MODEL CHECKING FROM INTERVAL LOGIC SPECIFICATIONS", "THIRD INTERNATIONAL WORKSHOP ON VERIFICATION AND COMPUTATIONAL LOGIC (.2002.SOUTHAMPTON, UNITED KINGDOM)", 11-21, 2002
|
|
A. Abelló-Gamazo, F. Araque Cuenca, C. Delgado Negrete, E. Garvi-Garcia, M. Oliva-, E. Rodríguez-Uoc, E. Ruiz-Martin, F. Saltor-Soler, J. Samos Jimenez
and
M. Torres-Gil,
"OPERACIONES PARA CONFORMAR ESQUEMAS ORIENTADOS A OBJETOS", "TALLER SOBRE INTEGRACION SEMANTICA DE FUENTES DE DATOS DISTRIBUIDAS Y HETEROGENEAS (.2002.MADRID)", 1-4, 2002
|
|
M.V. Hurtado Torres, L.G. Garcia Cabrera
and
J. Parets-Llorca,
"SEMANTIC VIEWS OVER HETEROGENEOUS AND DISTRIBUTED DATA REPOSITORIES: INTEGRATION OF INFORMATION SYSTEM BASED ON ONTOLOGIES.", "INTERNATIONAL ISKO CONFERENCE (7.2002.GRANADA)", 338-344, 2002
|
|
N. Medina Medina, F. Molina-Ortiz, L.G. Garcia Cabrera
and
M.J. Rodriguez Fortiz,
"UN MODELO PARA EL DESARROLLO DE SISTEMAS HIPERMEDIA ADAPTATIVOS", "COLINE 02 (.2002.GRANADA)", 10-20, 2002
|
|
P. Paderewski Rodriguez, M.J. Rodriguez Fortiz
and
J. Parets-Llorca,
"UNA ARQUITECTURA DINÁMICA Y EVOLUTIVA PARA AGENTES COOPERATIVOS:GESTIÓN DE TRANSACCIONES", "III JORNADAS DE TRABAJO DOLMEN", 69-80, 2002
|
|
A. Abelló-Gamazo, J. Samos Jimenez
and
F. Saltor-Soler,
"YAM2 (YET ANOTHER MULTIDIMENSIONAL MODEL):AN EXTENSION OF UML", "IDEAS (5.2002.LA HABANA, CUBA)", 172-181, 2002
|
|
J.L. Garrido Bullejos
and
M. Gea Megias,
"A COLOURED PETRI NET FORMALISATION FOR A UML-BASED NOTATION APPLIED TO COOPERATIVE SYSTEM MODELLING", LECTURE NOTES IN COMPUTER SCIENCE, vol.2545
, 16-28, 2002
|
|
J.L. Garrido Bullejos
and
M. Gea-Megias,
"A COLOURED PETRI NET FORMALISATION FOR A UML-BASED NOTATION APPLIED TO COOPERATIVE SYSTEM MODELLING", Lecture Notes in Computer Science, vol.2545
, 16-28, 2002
|
|
|
Última actualización del SICA: 25/03/2026
julio 2026
ANTERIOR