Observatorio de I+D+i UPM

Memorias de investigación
Capítulo de libro:
Modeling and Reasoning about Design Patterns in SLAM-SL
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
The main main subject of the chapter is how design patterns can be described as class operations. Additionally, we describe two possible applications: how to reason about design patterns, and how a design can be automatically refactored using design patterns.
Internacional
Si
DOI
Edición del Libro
1
Editorial del Libro
IGI Publishing
ISBN
978-1-59904-21
Serie
0
Título del Libro
Design Pattern Formalization Techniques
Desde página
0
Hasta página
0
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Toufik Taibi (College of Information Technology, United Arab Emirates University, Al Ain, United Arab Emirates)
  • Autor: Juan Jose Moreno Navarro (UPM)
  • Autor: Angel Herranz Nieva (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)