Observatorio de I+D+i UPM

Memorias de investigación
Book chapters:
Modeling and Reasoning about Design Patterns in SLAM-SL
Year:2007
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Book Edition
1
Book Publishing
IGI Publishing
ISBN
978-1-59904-21
Series
0
Book title
Design Pattern Formalization Techniques
From page
0
To page
0
Participants
  • 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)
Research Group, Departaments and Institutes related
  • 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 2019 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)