|
Capítulos publicados AN AMBIENT ASISSTED-LIVING ARCHITECTURE BASED ON WIRELESS SENSOR NETWORKS
 Autores: JAVIER ANDRÉU, JAIME VIÚDEZ AND JUAN A. HOLGADO
Libro: 3RD SYMPOSIUM OF UBIQUITOUS COMPUTING AND AMBIENT INTELLIGENCE 2008 (UCAMI 2008)
Páginas: ADVANCES IN SOFT COMPUTING (VOL 51) (ISSN: 1615-3871). 239-248. SPRINGER VERLAG.
ISBN: 978-3-540-86866-9
Año: 2008
A HOME-AUTOMATION PLATFORM TOWARDS UBIQUITOUS SPACES BASED ON A DECENTRALIZED P2P ARCHITECTURE
Autores: SANDRA S. RODRIGUEZ AND JUAN A. HOLGADO
Libro: INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008 (DCAI 2008)
Páginas: ADVANCES IN SOFT COMPUTING (VOL 50) (ISSN: 1615-3871). 303-308. SPRINGER VERLAG.
ISBN: 978-3-540-85862-1
Año: 2008
A SURVEY ON WIRELESS SENSOR NETWORK: ISSUES AND DEVELOPMENT PLATFORMS
Autores: JAVIER ANDRÉU, JAIME VIÚDEZ, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 271-286. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
AN OSGI EXPERIENCE FOR HOME AUTOMATION APPLICATIONS
Autores: JAIME VIÚDEZ, JAVIER ANDRÉU, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 317-328. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
A SERVICES PLATFORM FOR HOME-AUTOMATION BASED ON DECENTRALIZED P2P ARCHITECTURES
Autores: SANDRA S. RODRÍGUEZ, JUAN ANTONIO HOLGADO TERRIZA
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 203-218. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
AMBIENT ASSISTED-LIVING PLATFORM: THE REAL ISSUE, CHALLENGES AND TECHNOLOGIES
Autores: JAVIER ANDRÉU, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 259-270. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
CONTROL DOMÓTICO DEL HOGAR A TRAVÉS DE UNA PLATAFORMA DE SERVICIOS DISTRIBUIDA BASADA EN JXTA
Autores: SANDRA S. RODRÍGUEZ, MARÍA D. SERRANO, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 219-234. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
REAL-TIME VIRTUAL INSTRUMENTATION SYSTEMS: TOWARD HIGH-LEVEL PROGRAMMING MODELS
Autores: ALFREDO MORENO, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 303-315. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
SERVICIOS SENSIBLES AL CONTEXTO EN SISTEMAS DE COMPUTACIÓN UBICUA
Autores: SANDRA S. RODRÍGUEZ, JUAN A. HOLGADO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 235-248. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
PLATAFORMA JAVA PARA EL DESARROLLO DE APLICACIONES EMPOTRADAS CON RESTRICCIONES TEMPORALES
Autores: JAIME VIÚDEZ, JUAN A. HOLGADO
Libro: ACTAS DE LAS XI JORNADAS DE TIEMPO REAL (JTR 2008)
Páginas: 133-151. EDITADO POR ALBERT LLEMOSÍ Y JULIÁN PROENZA. PALMA DE MALLORCA. (2008)
ISBN: -
Año: 2008
CONTROLA TU HOGAR CON EL SISTEMA DE CONTROL DOMÓTICO
Autores: SANDRA S. RODRÍGUEZ, JAIME VIÚDEZ, JUAN A. HOLGADO, JAVIER ANDRÉU, ALFREDO MORENO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 351-354. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
MAQUETA DOMÓTICA PROGRAMABLE A TRAVÉS DE MICROCONTROLADORES JAVA
Autores: JAIME VIÚDEZ, JUAN A. HOLGADO, SANDRA S. RODRÍGUEZ, JAVIER ANDRÉU, ALFREDO MORENO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 355-358. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
JAHASE, UNA PLATAFORMA PARA DOMINARLOS A TODOS (PROGRAMACIÓN EN JAVA SOBRE SISTEMAS EMPOTRADOS)
Autores: JAIME VIÚDEZ, JUAN A. HOLGADO, SANDRA S. RODRÍGUEZ, JAVIER ANDRÉU, ALFREDO MORENO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 359-362. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
SUN SPOT. UNA MOTA DE POLVO PROGRAMADA EN JAVA
Autores: JAVIER ANDRÉU, JUAN A. HOLGADO, JAIME VIÚDEZ, SANDRA S. RODRÍGUEZ, ALFREDO MORENO
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 363-366. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
DISEÑA UNA APLICACIÓN DE CONTROL ROBÓTICO CON JAVA Y HERRAMIENTAS DE MODELADO
Autores: ALFREDO MORENO, JUAN A. HOLGADO, SANDRA S. RODRÍGUEZ, JAVIER ANDRÉU, JAIME VIÚDEZ
Libro: ACTAS DE II SIMPOSIO EN DESARROLLO DE SOFTWARE (SDS 2008)
Páginas: 367-370. DPTO. DE LENGUAJES Y SISTEMAS INFORMÁTICOS. EDITADO POR JUAN A. HOLGADO, MIGUEL J. HORNOS Y RAMÓN LÓPEZ-CÓZAR. GRANADA.
ISBN: 978-84-96856-71-4
Año: 2008
PLATAFORMA JAVA PARA EL DESARROLLO DE APLICACIONES EN ENTORNOS EMPOTRADOS
Autores: JAIME VIUDEZ, JUAN ANTONIO HOLGADO TERRIZA
Libro: ACTAS DEL I SIMPOSION EN DESARROLLO DE SOFTWARE (SDS 2007)
Páginas: 147-161
ISBN: 978-84-96856-17-2
Año: 2007
DISEÑO DE LA ARQUITECTURA DE UNA RED AD-HOC INALÁMBRICA PARA COMPUTACIÓN OBICUA BASADA EN LA TECNOLOGÍA BLUETOOTH
Autores: FRANCISCO SERRANO, JUAN ANTONIO HOLGADO TERRIZA
Libro: ACTAS DEL I SIMPOSION EN DESARROLLO DE SOFTWARE (SDS 2007)
Páginas: 117-131
ISBN: 978-84-96856-17-2
Año: 2007
VERIFICACIÓN COMPOSICIONAL Y DISEÑO DE SISTEMAS DE TIEMPO REAL
Autores: LUIS EDUARDO MENDOZA MORALES, MANUEL ISIDORO CAPEL TUÑON
Libro: ACTAS DEL I SIMPOSION EN DESARROLLO DE SOFTWARE (SDS 2007)
Páginas: 133-145
ISBN: 978-84-96856-17-2
Año: 2007
ARQUITECTURA ABIERTA BASADA EN JAVA PARA ENTORNOS DOMÓTICOS
Autores: JAIME VIUDEZ, JUAN ANTONIO HOLGADO TERRIZA
Libro: ACTAS II SIMPOSIO SOBRE COMPUTACIÓN UBÍCUA E INTELIGENCIA AMBIENTAL (THOMSOM)
Páginas: 57-66
ISBN: 978-84-9732-605-6
Año: 2007
DISEÑO Y CONSTRUCCIÓN DE UNA MAQUETA DOMÓTICA CONTROLABLE A TRAVÉS DE MICROCONTROLADORES DE JAVA
Autores: JAIME VIUDEZ, JUAN ANTONIO HOLGADO TERRIZA
Libro: ACTAS V JORNADAS DE ENSEÑANZA A TRAVÉS DE INTERNET/WEB DE LA INGENIERÍA DE SISTEMAS Y AUTOMÁTICA
Páginas: 47-52
ISBN: 978-84-9732-603-2
Año: 2007
CONTROL REMOTO DE MODELOS DE ROBOTS LEGO UTILIZANDO TECNOLOGÍAS ABIERTAS BASADAS EN JAVA
Autores: ESTEBAN GUTIERREZ MLOT, JUAN ANTONIO HOLGADO TERRIZA, ALBERTO MARQUEZ ALCOBA
Libro: ACTAS V JORNADAS DE ENSEÑANZA A TRAVÉS DE INTERNET/WEB DE LA INGENIERÍA DE SISTEMAS Y AUTOMÁTICA
Páginas: 29-34
ISBN: 978-84-9732-603-2
Año: 2007
DISEÑO Y ADAPTACIÓN DE JAVA DE TIEMPO REAL SOBRE PARTIKLE PARA SISTEMAS EMPOTRADOS
Autores: WALTER MATA, APOLINAR GONZALEZ, ALFONS CRESPO, MANUEL MASMANO, MANUEL ISIDORO CAPEL TUÑON
Libro: ACTAS DEL II SIMPOSIO SOBRE SISTEMAS DE TIEMPO REAL DEL CONGRESO ESPAÑOL DE INFORMATICA (THOMSON)
Páginas:
ISBN: 978-84-9732-608-7
Año: 2007
DEVELOPMENT OF AN ADAPTABLE MIDDLEWARE FOR TIME-CONSTRAINED DISTRIBUTED APPLICATIONS
Autores: ALFREDO MORENO GUILLÉN, JUAN ANTONIO HOLGADO TERRIZA, JAIME VIUDEZ, MANUEL ISIDORO CAPEL TUÑON
Libro: ACTAS DEL II SIMPOSIO SOBRE SISTEMAS DE TIEMPO REAL DEL CONGRESO ESPAÑOL DE INFORMATICA (THOMSON)
Páginas:
ISBN: 978-84-9732-608-7
Año: 2007
CHARACTERISTIC ANALYSIS OF WIRELESS SENSOR NETWORKS WITH REAL-TIME MIDDLEWARE
Autores: MANUEL ISIDORO CAPEL TUÑON, WALTER MATA, ZOUHAIR SADOUQ
Libro: ACTAS DEL II SIMPOSIO SOBRE SISTEMAS DE TIEMPO REAL DEL CONGRESO ESPAÑOL DE INFORMATICA (THOMSON)
Páginas:
ISBN: 978-84-9732-608-7
Año: 2007
ESTABLISHING CONSISTENCY BETWEEN UML 2.0 SEQUENCE AND STATE DIAGRAMS
Autores: KAWTAR BENGHAZI AKHLAKI, MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA, LUIS EDUARDO MENDOZA MORALES
Libro: ACTAS DE LAS X JORNADAS DE TIEMPO REAL (JTR 2007) (CIMNE)
Páginas: 97-103
ISBN: 978-84-96736-11-5
Año: 2007
AN INTERPRETATION OF BEHAVIOURAL CONSISTENCY OF UML-RT DIAGRAMS IN TERMS OF CSP+T
Autores: MANUEL ISIDORO CAPEL TUÑON, KAWTAR BENGHAZI AKHLAKI, JUAN ANTONIO HOLGADO TERRIZA, LUIS EDUARDO MENDOZA MORALES
Libro: PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS (MSVVEIS-2007)
Páginas: 74-83
ISBN: 978-972-8865-95-5 (INSTICC)
Año: 2007
TOWARDS UML-RT BEHAVIOURAL CONSISTENCY
Autores: KAWTAR BENGHAZI AKHLAKI, MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA, LUIS EDUARDO MENDOZA MORALES
Libro: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2007) - INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION.
Páginas: 612-615
ISBN: 978-972-8865-90-0 (INSTICC)
Año: 2007
CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS
Autores: LUIS EDUARDO MENDOZA MORALES, MANUEL ISIDORO CAPEL TUÑON, KAWTAR BENGHAZI AKHLAKI
Libro: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2007) - INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION.
Páginas: 205-211
ISBN: 978-972-8865-90-0 (INSTICC)
Año: 2007
JAVA-BASED ADAPTABLE MIDDLEWARE PLATFORM FOR VIRTUAL INSTRUMENTATION
Autores: JUAN ANTONIO HOLGADO TERRIZA, ALFREDO MORENO GUILLÉN, MANUEL ISIDORO CAPEL TUÑON
Libro: PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON VIRTUAL ENVIRONMENTS, HUMANCOMPUTER INTERFACES, AND MEASUREMENT SYSTEMS (VECIMS 2007)
Páginas: 1-6
ISBN: 978-1-4244-0820-7
Año: 2007
ACTIVE TOURISM SERVICES OUTSOURCING: A CASE STUDY IN ANDALUCIA
Autores: FRANCISCO ARAQUE, ALBERTO SALGUERO, LUIS MARTÍNEZ LÓPEZ, RAMÓN CARRASCO GONZALÉZ, KAWTAR BENGHAZI AKHLAKI
Libro: PROCEEDINGS WORKSHOP NEW TECHNOLOGIES OF DISTRIBUTED SYSTEMS
Páginas: 181-186
ISBN: 9981-9704-8-4
Año: 2007
CONSISTENCY CHECKING OF UML COMPOSITE STRUCTURE DIAGRAMS BASED ON TRACE SEMANTICS
Autores: LUIS EDUARDO MENDOZA MORALES, MANUEL ISIDORO CAPEL TUÑON
Libro: SOFTWARE ENGINEERING IN PROGRESS
Páginas: 109-123
ISBN: 978-83-89529
Año: 2007
DISEÑO DE UN SISTEMA DE CONTROL DOMÓTICO BASADO EN JAVA
Autores: JUAN ANTONIO HOLGADO TERRIZA, JAIME VIUDEZ, MANUEL ISIDORO CAPEL TUÑON, MANUEL MOLINA M.
Libro: ACTAS XXVII JORNADAS DE AUTOMÁTICA 2006 (ALMERÍA)
Páginas: 1401-1408
ISBN: 84-689-9417-0
Año: 2006
ANÁLISIS DE SISTEMAS EMPOTRADOS JAVA COMERCIALES CON REQUERIMIENTOS TEMPORALES
Autores: JUAN ANTONIO HOLGADO TERRIZA, ALFREDO MORENO GUILLÉN, JAIME VIUDEZ, MANUEL ISIDORO CAPEL TUÑON, MANUEL MOLINA M.
Libro: ACTAS XXVII JORNADAS DE AUTOMÁTICA 2006 (ALMERÍA)
Páginas: 1393-1400
ISBN: 84-689-9417-0
Año: 2006
HIGH LEVEL COMPOSITIONS (CPANS) FOR THE PARALLEL PROGRAMMING BASED ON THE USE OF COMMUNICATION PATTERNS
Autores: MARIO ROSSAINZ LÓPEZ, MANUEL ISIDORO CAPEL TUÑON
Libro: GESTS INTERNATIONAL TRANSACTIONS ON COMPUTER SCIENCE AND ENGINEERING
Páginas: 174-186
ISBN: 89-953729-5-8
Año: 2006
DESIGN AND IMPLEMENTATION OF THE BRANCH-AND-BOUND ALGORITHMIC DESIGN TECHNIQUE AS A HIGH LEVEL PARALLEL COMPOSITION
Autores: MARIO ROSSAINZ LÓPEZ, MANUEL ISIDORO CAPEL TUÑON
Libro: PROCEEDINGS OF THE 2ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2006)
Páginas: 95-100
ISBN: 84-690-0726-2
Año: 2006
DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
Autores: KAWTAR BENGHAZI AKHLAKI, MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
Libro: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
Páginas: 290-297
ISBN: 987-972-8865-43-6
Año: 2006
A SEMANTIC FORMALIZATION OF UML-RT MODELS WITH CSP-T PROCESSES APPLICABLE TO REAL-TIME SYSTEMS VERIFICATION
Autores: MANUEL I. CAPEL, L.E. MENDOZA-MORALES, KAWTHAR BENGAZHI AND J. A. HOLGADO-TERRIZA
Libro: ACTAS DE LAS XI JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS
Páginas: 283-293
ISBN:
Año: 2006
FORMAL SPECIFICATION OF REAL-TIME BY TRANSFORMATION OF UML-RT DESIGN MODELS
Autores: KAWTHAR BENGAZHI, MANUEL I. CAPEL, J. A. HOLGADO-TERRIZA AND L.E. MENDOZA-MORALES
Libro: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS
Páginas: 16-25
ISBN: 972-8865-22-8
Año: 2006
DESIGN OF REL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
Autores: KAWTHAR BENGAZHI, MANUEL I. CAPEL AND J. A. HOLGADO-TERRIZA
Libro: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
Páginas: 290-297
ISBN: 972-8865-19-8
Año: 2006
CSPJADE: ARCHITECTURAL DRIVEN DEVELOPMENT OF COMPLEX EMBEDDED SYSTEM SOFTWARE USING A CSP PARADIGM BASED GENERATION TOOL CODE
Autores: AGUSTÍN ESCÁMEZ, KAWTHAR BENGAZHI, J. A. HOLGADO-TERRIZA AND MANUEL I. CAPEL
Libro: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
Páginas: 128-133
ISBN: 972-8865-19-8
Año: 2006
METHODOLOGICAL PROPOSAL FOR COMPLETE REAL TIME SYSTEMS DESIGN BY COMBINING UML-RT AND CSP+T FORMAL SPECIFICATIONS
Autores: CAPEL TUÑÓN M. I.; BENGHAZI AKHLAKI, K.
Libro: PROCEEDINGS OF ABSTRACTS of the Seventh conference with international participation on New Trends in Technology System Operation
Páginas: 2
ISBN:
Año: 2005
CSPJADE: A CODE GENERATING CASE TOOL FOR EMBEDDED SYSTEMS BASED ON REUSABLE COMPONENTS AND CSP PARADIGM
Autores: ESCÁMEZ A.; HOLGADO J. A.; CAPEL M. I.;
Libro: PROCEEDINGS OF ABSTRACTS of the Seventh conference with international participation on New Trends in Technology System Operation
Páginas: 6
ISBN:
Año: 2005
DESIGN AND USE OF THE CPAN BRANCH & BOUND FOR THE SOLUTION OF THE TRAVELLING SALESMAN PROBLEM (TSP)
Autores: CAPEL M. I.; ROSSAINZ M
Libro: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS
Páginas: 262-267
ISBN: 0-7695-2283-1 (IEEE Computer Society )
Año: 2005
AN APPROACH TO STRUCTURED PARALLEL PROGRAMMING BASED ON A COMPOSITION OF PARALLEL OBJECTS
Autores: ROSSAINZ M; CAPEL M. I.
Libro: ACTAS DE LAS XVI JORNADAS DE PARALELISMO (I CONGRESO ESPAÑOL DE INFORMÁTICA, CEDI 2005)
Páginas: 495-502
ISBN: 84-9732-430-7 (THOMSON)
Año: 2005
COMBINING THE DESCRIPTION FEATURES OF UML-RT AND CSP+T SPECIFICATIONS APPLIED TO A COMPLETE DESIGN OF REAL-TIME SYSTEMS
Autores: BENGHAZI AKHLAKI, K.; CAPEL TUÑÓN, M. I.;
Libro: IEC05 PROCEEDINGS OF THE FIFTH INTERNATIONAL ENFORMATIKA CONFERENCE (VOL.7, 2005)
Páginas: 193-198
ISBN: 975-98458-6-5
Año: 2005
FROM CSP+T SPECIFICATION TO JAVA IMPLEMENTATION: THE PRODUCTION CELL CASE STUDY
Autores: HOLGADO J.A.; ESCÁMEZ, A.; CAPEL M. I.;
Libro: ACTAS DEL PRIMER SIMPOSIO SOBRE SISTEMAS DE TIEMPO REAL (I CONGRESO ESPAÑOL DE INFORMÁTICA, CEDI 2005)
Páginas: 131-138
ISBN: 84-9732-448-X (THOMSON)
Año: 2005
A CSP+T BASED METHOD FOR OBTAINING A RELIABLE MODEL OF A REAL-TIME CLOSED LOOP CONTROL SYSTEM
Autores: CAPEL M. I.; HOLGADO J.A.
Libro: ACTAS DEL PRIMER SIMPOSIO SOBRE SISTEMAS DE TIEMPO REAL (I CONGRESO ESPAÑOL DE INFORMÁTICA, CEDI 2005)
Páginas: 123-130
ISBN: 84-9732-448-X (THOMSON)
Año: 2005
AN INTEGRATION SCHEME FOR CPN AND PROCESS ALGEBRA APPLIED TO A MANUFACTURING INDUSTRY CASE
Autores: CAPEL M. I.; HOLGADO J.A.; ESCAMEZ A.
Libro: 1st INTERNATIONAL WORKSHOP ON ORGANIZATIONAL MODELING AND SIMULATION USING PETRI NETS (OMSPN)/ 3rd INTERNATIONAL WORKSHOP ON MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS (MSVVEIS 2005)
Páginas: 37-48
ISBN: 972-8865-22-8
Año: 2005
A TRANSFORMING SA/RT GRAPHICAL SPECIFICATIONS INTO CSP+T FORMALISMS
Autores: CAPEL M. I.; HOLGADO J.A.
Libro: 7th INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS)
Páginas: 65-72
ISBN: 972-8865-19-8
Año: 2005
A FORMAL SYSTEM SPECIFICATION METHOD TO DERIVE A SIMULINK MODEL FOR A REAL-TIME HYBRID STUDY CASE USING CSP+T
Autores: CAPEL M. I.; HOLGADO J.A.
Libro: Libro de comunicaciones VIII JORNADAS DE TIEMPO REAL
Páginas: 100-116
ISBN:
Año: 2005
FORMALIZATION OF RT/SA SYSTEM USER REQUIREMENTS APPLIED TO A MANUFACTURING INDUSTRY CASE
Autores: CAPEL M. I.; HOLGADO J.A.; ESCAMEZ A.
Libro: MANAGEMENT OF MANUFACTURING SYSTEMS 2004
Páginas: 182-190
ISBN: 80-8073-209-4
Año: 2004
A NEW DESIGN PROCEDURE FOR A REAL-TIME HYBRID SYSTEM MODEL
Autores: CAPEL M. I.; HOLGADO J.A.
Libro: 4ª JORNADAS IBEROAMERICANAS DE INGENIERIA DEL SOFTWARE E INGENIERIA DEL CONOCIMIENTO
Páginas: 191-204
ISBN: 84-688-8957-1
Año: 2004
A TRANSFORMATIONAL APPROACH TO THE SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS
Autores: CAPEL M. I.; BALSAS J.R.; HOLGADO J.A.
Libro: NEW WAYS IN MANUFACTURING ENGINEERING 2004
Páginas: 361-372
ISBN: 80-8073-136-5
Año: 2004
SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS BASED ON CSP+T PROCESS ALGEBRA
Autores: CAPEL M. I.; BALSAS J.R.; HOLGADO J.A.
Libro: VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS (VVEIS 2004)
Páginas: 81-83
ISBN: 972-8865-03-1
Año: 2004
A PARALLEL PROGRAMMING METHODOLOGY BASED ON HIGH LEVEL PARALLEL COMPOSITIONS (CPANS)
Autores: ROSSAINZ M; CAPEL M. I.
Libro: 14TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS
Páginas: 242-247
ISBN: 0-7695-2074-X
Año: 2004
A STUDY ON THE FORMALISATION OF STRUCTURED ANALYSIS BY MEANS OF PROCESS ALGEBRA + TIME
Autores: CAPEL M. I.; BALSAS J.R.; HOLGADO J.A.
Libro: Libro de comunicaciones VII JORNADAS DE TIEMPO REAL
Páginas: 20-29
ISBN:
Año: 2004
FBT(FIL TO BÜCHI AUTOMATON TRANSLATOR) HERRAMIENTA PARA ESPECIFICAR Y VERIFICAR SISTEMAS CONCURRENTES MEDIANTE FORMULAS DE INTERVALOS
Autores: HORNOS-BARRANCO, MIGUEL JUAN; CAPEL-TUÑON, MANUEL ISIDORO
Libro: CONCURRENCIA Y SISTEMAS DISTRIBUIDOS (ACTAS DE LA XI JORNADAS DE CONCURRENCIA). COLLECIÓ "TREBALS D'INFORMATICA Y TECNOLOGIA", Nº 16
Páginas: 221-236
ISBN: 84-8021-434-1
Año: 2003
AUTOMATA GENERATION FOR ON-THE-FLY AUTOMATIC VERIFICATION USING FORMULAS OF AN INTERVAL LOGIC
Autores: HORNOS-BARRANCO, MIGUEL JUAN; CAPEL-TUÑON, MANUEL ISIDORO
Libro: APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Páginas: 221-230
ISBN: 0-7695-1071-X
Año: 2001
MATHEMATICAL MODELING OF REAL-TIME PROCESSES
Autores: CAPEL-TUÑON, M
Libro: MATHEMATICAL MODELING OF TECHNICAL PROCESSES
Páginas: 63-90
ISBN: 80-88941-18-0
Año: 2001
VERIFICACIÓN AUTOMATIZADA EFICIENTE DE SISTEMAS CONCURRENTES ESPECIFICANDO SUS PROPIEDADES CON FÓRMULAS DE UNA LÓGICA DE INTERVALOS
Autores: HORNOS-BARRANCO, MIGUEL JUAN; CAPEL-TUÑON, M
Libro: Libro de VI JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD'01)
Páginas: 375 - 389
ISBN: 84-699-6275-2
Año: 2001
SOFTWARE ANALYSIS METHODS FOR REAL TIME SYSTEMS
Autores: CAPEL-TUÑON, M
Libro: MATHEMATICAL MODELLING OF TECHNICAL PROCESSES
Páginas: 59-81
ISBN: 80-88941-12-1
Año: 2000
DISTRIBUTED OBJECTS FOR PARALLEL PROGRAMMING IN MULTICOMPUTERS
Autores: M.I. CAPEL, F. MARTINEZ
Libro: APPLIED INFORMATICS (IASTED'00)
Páginas: 506-509
ISBN: 0-889886-280-X
Año: 2000
DESARROLLO DE UN PROTOTIPO PARA LA CELDA DE PRODUCCION EN JAVAPP
Autores: GARRIDO-BULLEJOS, JOSE LUIS; PALMA RIOS, ANTONIO; ARAQUE-CUENCA, FRANCISCO; CAPEL-TUÑON, MANUEL ISIDORO
Libro: Libro de IV JORNADAS DE INFORMATICA
Páginas: 2-8
ISBN: 84-87526-61-6
Año: 1998
A PROPOSAL TO IMPROVE REUSABILITY IN A LANGUAGE BASED ON THE OCCAM-CSP MODEL
Autores: ARAQUE-CUENCA, FRANCISCO; CAPEL-TUÑON, MANUEL ISIDORO; MANTAS-RUIZ, JOSE MIGUEL
Libro: 5TH EUROMICRO WORKSCHOP ON PARALLEL AND DISTRIBUTED PROCESSING
Páginas: 41-46
ISBN: 0-8186-7770-8
Año: 1997
IMPLEMENTACION DE UNA HERRAMIENTA DE ESPECIFICACION Y VALIDACION PARA SISTEMAS REACTIVOS
Autores: HORNOS-BARRANCO, M; CAPEL-TUÑON, M
Libro: Libro de III Jornadas de Informática
Páginas: 21-30
ISBN: 84-8498-463-X
Año: 1997
A METHODOLOGICAL SCHEME AND TOOL FOR PROGRAM TRANSFORMATION WITH TRANSPUTER SYSTEMS
Autores: M.I. CAPEL, J.M. TROYA, A. PALMA
Libro: PARALLEL COMPUTING: TRENDS AND APPLICATIONS
Páginas: 585-588
ISBN: 0-444-81841-3
Año: 1994
PARADIGMS FOR PARALLEL DISTRIBUTED PROGRAMMING.
Autores: F. ARAQUE, M.I. CAPEL, A. PALMA, J.M. MANTAS
Libro: PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL. II
Páginas: 1027-1038
ISBN: 0-9648666-2-5
Año: 1996
AN OBJECT BASED APPROACH FOR DERIVING DISTRIBUTED ALGORITHMS
Autores: M.CAPEL, J.M.TROYA
Libro: INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES VII
Editorial: PRESSES DE L´ÉCOLE DES HAUTES ETUDES EN INFORMATIQUE. UNIVERSITÉ RENÉ DESCARTES
ISBN: 90-5199-096-0
Año: 1993
A PROGRAMMING TOOL FOR DISTRIBUTED IMPLEMENTATION OF BRANCH-AND-BOUND ALGORITHMS
Autores: M.CAPEL, A.PALMA.
Libro: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, VOL.I
Editorial: IOS PRESS,
Páginas: 138-147
ISBN: 90-5199-096-0
Año: 1992
AN OBJECT BASED TOOL FOR DISTRIBUTED PROGRAMMING ON TRANSPUTER SYSTEMS
Autores: M.CAPEL, J.M.TROYA
Libro: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, VOL.I
Editorial: IOS PRESS,
Páginas: 366-375
ISBN: 90-5199-096-0
Año: 1992
Total capítulos publicados: 70 |
