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

Towards an architecture for managing big semantic data in real-time

  • Cuesta CE
  • Martínez-Prieto MA
  • Fernández JD

Lecture Notes In Computer Science (p. 45-53) - 1/1/2013

10.1007/978-3-642-39031-9_5 Ver en origen

  • ISSN 03029743

Lifecycle of adaptive agreements: A pattern language

  • Pérez-Sotelo JS
  • Cuesta CE
  • Billhardt H
  • Ossowski S

Lecture Notes In Computer Science (p. 48-62) - 1/1/2013

10.1007/978-3-642-39860-5_5 Ver en origen

  • ISSN 03029743

On self-Adaptation in systems-of-systems

  • Romay, M.P.
  • Cuesta, C.E.
  • Fernández-Sanz, L.

1st ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems, SESoS 2013 Proceedings (p. 29-34) - 1/1/2013

Editor: Association for Computing Machinery

10.1145/2489850.2489856 Ver en origen

  • ISSN/ISBN 9781450320481

Towards Knowledge Modeling for Sustainable Transport

  • Caceres, Paloma
  • Cuesta, Carlos E.
  • Cavero, Jose Maria
  • Vela, Belen
  • Sierra-Alonso, Almudena;

Lecture Notes In Computer Science (p. 271-287) - 1/1/2014

10.1007/978-3-319-05032-4_20 Ver en origen

  • ISSN 03029743

A comparative analysis of linked data tools to support architectural knowledge

  • Roda C
  • Navarro E
  • Cuesta CE

Information Systems Development: Transforming Organisations and Society Through Information Systems - Proceedings of the 23rd International Conference on Information Systems Development, ISD 2014 (p. 399-406) - 1/1/2014

  • iMarina

Modeling Open Accessibility Data of Public Transport

  • Caceres, Paloma
  • Sierra-Alonso, Almudena
  • Cuesta, Carlos E.
  • Vela, Belen
  • Maria Cavero, Jose;

Studies In Computational Intelligence (p. 229-236) - 1/1/2015

10.1007/978-3-319-10422-5_25 Ver en origen

  • ISSN 1860949X

3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)

  • Oquendo, Flavio
  • Avgeriou, Paris
  • Cuesta, Carlos E.
  • Drira, Khalil
  • Nakagawa, Elisa Yumi
  • Maldonado, Jose Carlos
  • Zisman, Andrea;
... Ver más Contraer

Proceedings - International Conference on Software Engineering (p. 1011-1012) - 1/1/2015

10.1109/icse.2015.327 Ver en origen

  • ISSN 02705257

Foreword: Towards Reference Architectures for Systems-of-Systems

  • Nakagawa, Elisa Yumi
  • Oquendo, Flavio
  • Avgeriou, Paris
  • Cuesta, Carlos E.
  • Drira, Khalil
  • Maldonado, Jose Carlos
  • Zisman, Andrea;
... Ver más Contraer

THIRD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS SESOS 2015 (p. 1-4) - 1/1/2015

10.1109/sesos.2015.8 Ver en origen

Synergies of System-of-Systems and Microservices Architectures

  • Cuesta, Carlos E.
  • Navarro, Elena
  • Zdun, Uwe;

SOFTWARE-INTENSIVE SYSTEMS-OF-SYSTEMS SYMPOSIUM (SISOS@ECSA) (p. 1-7) - 1/1/2016

10.1145/3175731.3176176 Ver en origen

Defining a NoSQL document database of accessible transport routes

  • Vela, Belen
  • Maria Cavero, Jose
  • Caceres, Paloma
  • Sierra, Almudena
  • Cuesta, Carlos E.;

2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA) (p. 1125-1129) - 1/1/2017

10.1109/ithings-greencom-cpscom-smartdata.2017.172 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