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

Publications

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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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;
... View more Collapse

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

10.3233/mgs-2011-0168 View at source

  • ISSN 15741702
  • ISSN/ISBN 1574-1702

This researcher has no books.

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
... View more Collapse

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

10.1007/978-94-007-5583-3_20 View at source

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 View at source

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 View at source

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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

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 View at source

  • 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 View at source

  • 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 View at source

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

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

This researcher has no patents or software licenses.

Last data update: 3/5/24 5:14 PM