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

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

Aspect-oriented connectors for coordination

  • PEREZ BENEDI, JENIFER

Syanco'07: International Workshop On Synthesis And Analysis Of Component Connectors - In Conjunction With The 6th Esec/Fse Joint Meeting (p. 13-22) - 1/12/2007

10.1145/1294917.1294919 Ver en origen

Defining service-oriented software architecture models for a MDA-based development process at the PIM level

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

SEVENTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS (p. 309-312) - 1/1/2008

10.1109/wicsa.2008.15 Ver en origen

Representing Service-Oriented Architectural Models Using pi-ADL

  • Lopez-Sanz, M
  • Qayyum, Z
  • Cuesta, CE
  • Marcos, E
  • Oquendo, F

Lecture Notes In Computer Science (p. 273-+) - 1/1/2008

10.1007/978-3-540-88030-1_21 Ver en origen

  • ISSN 03029743

Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach

  • Navarro, E
  • Cuesta, CE

Lecture Notes In Computer Science (p. 114-+) - 1/1/2008

10.1007/978-3-540-88030-1_10 Ver en origen

  • ISSN 03029743

A report on the first european conference on software architecture (ECSA'2007)

  • Cuesta CE
  • Marcos E

Sigmod Record (p. 105-107) - 1/1/2008

10.1145/1519103.1519124 Ver en origen

  • ISSN 01635808

Developing coordination strategies using a service-oriented model-driven approach

  • Lopez-Sanz M
  • E Cuesta C
  • Marcos E
  • Dominguez J

Proceedings - International Conference on Next Generation Web Services Practices, NWeSP 2008 (p. 198-203) - 1/1/2008

10.1109/nwesp.2008.18 Ver en origen

JISBD2007-01: AGORA: A cooperative services-based architecture for groupware environments

  • Martínez-Prieto MA
  • De La Fuentey P
  • Cuesta CE

Ieee Latin America Transactions (p. 308-316) - 1/1/2008

10.1109/tla.2008.4815283 Ver en origen

  • ISSN 15480992

Agreement technologies for adaptive, service-oriented Multi-Agent Systems

  • Pérez J
  • Cuesta C
  • Ossowski S

Ceur Workshop Proceedings (p. 118-129) - 1/1/2009

  • ISSN 16130073
  • iMarina

Using an Architecture-Centric Model-Driven Approach for Developing Service-Oriented Solutions: A Case Study

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

Lecture Notes In Computer Science (p. 350-359) - 1/1/2009

10.1007/978-3-642-05290-3_47 Ver en origen

  • ISSN 03029743

Weaving a Network of Architectural Knowledge

  • Navarro, Elena
  • Cuesta, Carlos E.
  • Perry, Dewayne E.;

2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (p. 241-+) - 1/1/2009

10.1109/wicsa.2009.5290810 Ver en origen

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