RDF/XML JSON-LD N3/Turtle RDF/JSON

Cuesta Quintero, Carlos Enrique carlos.cuesta@urjc.es

Ciencias de la Computación, Arquitectura de Computadores, Lenguajes y Sistemas Informáticos y Estadística e Investigación Operativa / Universidad Rey Juan Carlos

Actividades

UML Automatic Verification Tool with Formal Methods

  • Beato, Ma Encarnacion
  • Barrio-Solorzano, Manuel
  • Cuesta, Carlos E.
  • de la Fuente, Pablo;

Electronic Notes In Theoretical Computer Science (p. 3-16) - 21/4/2005

10.1016/j.entcs.2004.10.024 Ver en origen

  • ISSN 15710661

An "abstract process" approach to algebraic dynamic architecture description

  • Cuesta, CE
  • de la Fuente, P
  • Barrio-Solorzano, M
  • Beato, ME;

Journal Of Logical And Algebraic Methods In Programming (p. 177-214) - 1/5/2005

10.1016/j.jlap.2004.05.003 Ver en origen

  • ISSN 15678326

Coordination as an Architectural Aspect

  • Cuesta, Carlos E.
  • Romay, M. Pilar
  • de la Fuente, Pablo
  • Barrio-Solorzano, Manuel;

Electronic Notes In Theoretical Computer Science (p. 25-41) - 11/5/2006

10.1016/j.entcs.2005.12.031 Ver en origen

  • ISSN 15710661

Special issue on software architecture - Towards the software engineering core - Guest editors' introduction

  • Marcos, Esperanza
  • Cuesta, Carlos E.
  • Oquendo, Flavio;

International Journal Of Cooperative Information Systems (p. 333-340) - 1/12/2007

10.1142/s0218843007001731 Ver en origen

  • ISSN 02188430

ECSA - 2007 First European Conference on Software Architecture

  • Cuesta, Carlos E.
  • Caceres, Paloma;

Ercim News (p. 59-59) - 1/1/2008

  • ISSN 09264981
  • iMarina

Enhancing literary electronic books with logical structure: electronic work

  • Martinez-Prieto, Miguel A.
  • de la Fuente, Pablo
  • Vegas, Jesus M.
  • Adiego, Joaquin
  • Cuesta, Carlos E.;

Electronic Library (p. 490-504) - 1/1/2008

10.1108/02640470810893747 Ver en origen

  • ISSN 02640473

Modelling of Service-Oriented Architectures with UML

  • Lopez-Sanza, Marcos
  • Acuna, Cesar J.
  • Cuesta, Carlos E.
  • Marcos, Esperanza;

Electronic Notes In Theoretical Computer Science (p. 23-37) - 12/4/2008

10.1016/j.entcs.2008.03.097 Ver en origen

  • ISSN 15710661

ACM International Conference Proceeding Series: Foreword

  • Babar MA
  • Cuesta CE

Acm International Conference Proceeding Series (p. iii-iv) - 1/1/2010

  • ISSN Dodero J.M.Ibarra Saiz M.S.Ruiz Rube I.
  • iMarina

Foreword

  • Venema, Koen;

Beneficial Microbes (p. 315-316) - 1/12/2010

10.3920/bm2010.x003 Ver en origen

  • ISSN 18762883

Organisational structures in next-generation distributed systems: Towards a technology of agreement

  • Billhardt, Holger
  • Centeno, Roberto
  • Cuesta, Carlos E.
  • Fernandez, Alberto
  • Hermoso, Ramon
  • Ortiz, Ruben
  • Ossowski, Sascha
  • Santiago Perez-Sotelo, J.
  • Vasirani, Matteo;
... Ver más Contraer

Multiagent And Grid Systems (p. 109-125) - 1/1/2011

10.3233/mgs-2011-0168 Ver en origen

  • ISSN 15741702
  • ISSN/ISBN 1574-1702

Este/a investigador/a no tiene libros.

Arquitectura de Software DInámica basada en Reflexión

  • Carlos Enrique Cuesta Quintero
  • Pablo de la Fuente Redondo
  • Manuel Barrio Solórzano
  • María Encarnación Beato Gutiérrez

Actas De Las V Jornadas De Ingeniería Del Software Y Bases De Datos: Jisbd 2000 (p. 203-216) - 1/1/2000

  • iMarina

Clasificación y organización conceptual en ingeniería de software: dimensiones ontológica, metalingüística, subjetiva y evolutiva

  • Pilar Romay Rodríguez
  • Carlos Enrique Cuesta Quintero
  • José Manuel Marqués Corral

Actas Del Iv Congreso De La Sociedad De Lógica, Metodología Y Filosofía De La Ciencia En España: Valladolid, 3-6 De Noviembre De 2004 (p. 548-552) - 1/1/2004

  • iMarina

Modelos estructurales de aspectos para arquitectura de software

  • Carlos E Cuesta
  • María Pilar Romay Rodríguez
  • Pablo de la Fuente Brun
  • Manuel Barrio Solórzano

Actas De Las X Jornadas De Ingeniería Del Software Y Bases De Datos (p. 91-98) - 1/1/2005

  • iMarina

Clasificación y Aspectos Ontoloógicos en Ingeniería de Software

  • María Pilar Romay Rodríguez
  • Carlos E Cuesta
  • José Manuel Marqués Corral

Aspectos Filosóficos, Psicológicos Y Metodológicos De La Informática (p. 141-156) - 1/1/2005

  • iMarina

Ágora: diseño de Sistemas Groupware sobre una Arquitectura centrada en Servicios Cooperativos

  • Miguel Á Martínez Prieto
  • Pablo Lucio de la Fuente Redondo
  • Carlos E Cuesta

Actas De Las Xii Jornadas De Ingeniería Del Software Y Bases De Datos (p. 255-264) - 1/1/2007

  • iMarina

Modelado de coreografías de servicios con UML 2.1

  • Marcos López Sanz
  • Carlos E Cuesta
  • Esperanza Marcos Martínez

Actas De Las Iv Jornadas Científico-Técnicas En Servicios Web Y Soa: Jseweb 2008 : Sevilla 29 Y 30 De Octubre De 2008 (p. 1-14) - 1/1/2008

  • iMarina

Adaptive agent organisations

  • Argente E
  • Billhardt H
  • Cuesta CE
  • Esparcia S
  • Görmer J
  • Hermoso R
  • Kirikal K
  • Lujak M
  • Pérez Sotelo J-S
  • Taveter K
... Ver más Contraer

Agreement Technologies (p. 321-353) - 1/1/2013

10.1007/978-94-007-5583-3_20 Ver en origen

Banca 3.0, servicios inteligentes de valor añadido y salud financiera: la banca privada y personalizada para el cliente ya es posible. Sinergia entre inteligencia artificial, analítica de datos, big data y estadística

  • Javier Porras Castaño
  • Carlos Enrique Cuesta Quintero (dir)

Xviii Conferencia De La Asociación Española Para La Inteligencia Artificial (Caepia 2018): Avances En Inteligencia Artificial. 23-26 De Octubre De 2018 Granada, España (p. 1413-1418) - 1/1/2018

  • iMarina

Formal verification of coherence for a shared memory multiprocessor model

  • Barrio-Solorzano, M
  • Beato, ME
  • Cuesta, CE
  • de la Fuente, P;

Lecture Notes In Computer Science (p. 17-26) - 1/1/2001

  • ISSN 03029743
  • iMarina

Coordination in a reflective architecture description language

  • Cuesta, CE
  • de la Fuente, P
  • Barrio-Solorzano, M
  • Beato, E;

Lecture Notes In Computer Science (p. 141-148) - 1/1/2002

  • ISSN 03029743
  • iMarina

Reflection-based, aspect-oriented software architecture

  • Cuesta, CE
  • Romay, MP
  • de la Fuente, P
  • Barrio-Solorzano, M;

Lecture Notes In Computer Science (p. 43-56) - 1/1/2004

  • ISSN 03029743
  • iMarina

Architectural aspects of architectural aspects

  • Cuesta, CE
  • Romay, MD
  • de la Fuente, P
  • Barrio-Solorzano, M;

Lecture Notes In Computer Science (p. 247-262) - 1/1/2005

  • ISSN 03029743
  • iMarina

Integrating software architecture into a MDA framework

  • Marcos, E
  • Acuna, CJ
  • Cuesta, CE

Lecture Notes In Computer Science (p. 127-+) - 1/1/2006

10.1007/11966104_10 Ver en origen

  • ISSN 03029743

Temporal superimposition of aspects for dynamic software architecture

  • Cuesta, CE
  • Romay, MD
  • de la Fuente, P
  • Barrio-Solorzano, M

Lecture Notes In Computer Science (p. 93-107) - 1/1/2006

10.1007/11768869_9 Ver en origen

  • ISSN 03029743

Classification and ontological aspects in software engineering

  • Del Pilar Romay M
  • Cuesta CE

CEUR Workshop Proceedings (p. 771-782) - 1/1/2006

  • ISSN 16130073
  • iMarina

UML profile for the platform independent modelling of service-oriented architectures

  • Lopez-Sanz, M
  • Acuna, CJ
  • Cuesta, CE
  • Marcos, E

Lecture Notes In Computer Science (p. 304-+) - 1/1/2007

10.1007/978-3-540-75132-8_30 Ver en origen

  • ISSN 03029743

AGORA: a layered architecture for cooperative work environments

  • Martinez-Prieto, Miguel A.
  • de la Fuente, Pablo
  • Cuesta, Carlos E.;

ENC 2007: EIGHTH MEXICAN INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN COMPUTER SCIENCE, PROCEEDINGS (p. 73-+) - 1/1/2007

10.1109/enc.2007.11 Ver en origen

Aqueducts: A layered pipeline-based architecture for XML processing

  • Martinez-Prieto, MA
  • Cuesta, CE
  • de la Fuente, P

Lecture Notes In Computer Science (p. 313-+) - 1/1/2007

10.1007/978-3-540-75132-8_32 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

Verificación automática del comportamiento activo de uml usando métodos formales

  • Manuel Barrio Solórzano (Director)
  • Carlos Enrique Cuesta Quintero (Director) Doctorando: María Encarnación Beato Gutiérrez

1/1/2004

  • iMarina

Archimedes: a service-oriented framework for model-driven development of software architectures

  • Esperanza Marcos Martínez (Director)
  • Carlos Enrique Cuesta Quintero (Director) Doctorando: Marcos López Sanz

1/1/2011

  • iMarina

Diseño de Comportamiento Emergente en Arquitecturas Adaptativas con Tecnologías del Acuerdo

  • Ossowski, Dirk Sascha (Autor o Coautor)
  • Carlos Enrique Cuesta Quintero (Director)
  • Sascha Ossowski (Director) Doctorando: José Santiago Pérez Sotelo

1/1/2016

  • iMarina

Flu: arquitectura integral de seguridad para el desarrollo de tecnología de investigación policial

  • Carlos Enrique Cuesta Quintero (Director) Doctorando: Juan Antonio Calles García

1/1/2016

  • iMarina

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 5/03/24 17:14