Herramientas Personales
Usted está aquí: Inicio Ingeniería y Arquitectura Estructuras de Datos (2012) Otros Recursos

Otros Recursos

Acciones de Documento
  • Enviar esto
  • Imprimir esto
  • Content View
  • Bookmarks

Tema 1. Programación Imperativa


Ejemplos

  • OR-F-001.  Módulo Complejo (Interfaz)
  • OR-F-002.  Módulo Complejo (Implementación)
  • OR-F-003.  Proyecto Java Herencia Multiple
  • OR-F-004.  Reutilización por Composición 

Referencias

  • OR-F-005.  On The Criteria To Be Used in Decomposing Systems Into Modules (Parnas, 1972)
  • OR-F-006.  Entrada Interesante sobre Herencia en un Blog
  • OR-F-007.  Desastre Ariane 5
  • OR-F-008.  Design by Contract: The Lessons of Ariane (Jezequel and Meyer, 2002)

Lecturas (muy) avanzadas

  • OR-F-009.  Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study (Hanenberg)
  • OR-F-010.  An Experiment About Static and Dynamic Type Systems (Hanenberg)
  • OR-F-011.  Disertación de Barbara Liskov sobre Abstracción
  • OR-F-012.  Matters of (Meta-)Modelling (Khüne, 2006)
  • OR-F-013.  Can Programming be Liberated from the Two-Level Style? Multi-Level Programming with DeepJava (Khüne & Schreiber, 2007)
  • OR-F-014.  Object-Oriented Programming with Flavors (Moon, 1986)
  • OR-F-015.  A Monotonic Superclass Linearization for Dylan (Barret et al)
  • OR-F-016.  Morphing: Safely Shaping a Class in the Image of Others (Huang et al)
  • OR-F-017.  No Silver Bullet: Essence and Accidents of Software Engineering (Brooks, 1987)

Herramientas

  • OR-F-018.  Contract4J: Diseño por Contrato para Java
  • OR-F-019.  ESC/Java2: Verificación Automática de Programas

 

 

Tema 2.  Fundamentos de complejidad algorítimica


Bibliografía y Recursos

  • OR-F-020.  Fundamentos de Algoritmia (Brassard and Bratley)
  • OR-F-021.  Gráficas con tasas de crecimiento
  • OR-F-022.  Lista Wikipedia de problemas NP completos

 

 

Tema 3. Técnicas de Implementación


Ejemplos

  • OR-F-023.  Clase Lista Enlazada (pseudocódigo)
  • OR-F-024.  Ejemplo Lista Enlazada (Java)
  • OR-F-025.  Ejemplo Lista Enlazada (C#)
  • OR-F-026.  Tabla Hash Cerrada (Orientada a Objetos)

Recursos

  • OR-F-027.  Implementación Libre Colecciones Java
  • OR-F-028.  Apuntes sobre Tablas Hash (Universidad de Granada)
  • OR-F-029.  Animación sobre Árboles Binarios de Búsqueda
  • OR-F-030.  Otra animación sobre árboles de búsqueda
  • OR-F-031.  Animación sobre árboles AVL
  • OR-F-032.  Animación sobre Árboles Rojinegros
  • OR-F-033.  Clase Magistral sobre Árboles Balanceados del MIT (inglés)

Lecturas (muy) avanzadas

  • OR-F-034.  Diseño y Evaluación de Funciones Hash (Bret Mulvey)
  • OR-F-035.  A Hash Function for Hash Table Lookup (Bob Jenkins)

 

 

Tema 4.  Concepto y Especificación de Tipos Abstractos de Datos


Ejemplos

  • OR-F-036.  Especificación Algebraica Tipo Dia Semana
  • OR-F-037.  Especificación Algebraica Lista Inserción Cabeza
  • OR-F-038.  Especificación Algebraica Conjunto

Bibliografía y Recursos

  • OR-F-039.  An Introduction to the Algebraic Specification of Abstract Data Types

Lecturas (muy) avanzadas

  • OR-F-040.  Algebraic Specification of Abstract Data Types (Guttag)
  • OR-F-041.  Limits of the Algebraic Specification of Abstract Data Types (Majster, 1977)
  • OR-F-042.  Formalizing Design Patterns: A Case Study for the Iterator Pattern (Alfadouri and Steggles, 2002)
  • OR-F-043.  Abstract Data Types and Software Validation (Guttag et al, 1978)
  • OR-F-044.  Formal Specification and Analysis of Domain Specific Models Using Maude (Rivera et al, 2011)

 

 

Tema 5. Tipos Abstractos de Datos Lineales


Especificaciones Algebraicas TADs Lineales

TADs Lineales en Lenguajes de Programación Actuales

Recursos

  • OR-F-060.  LZW Data Compression (Nelson, 1989)
  • OR-F-061.  Proyecto Java Cálculo Expresiones Polaca Inversa

 

 

Tema 6. Tipos Abstractos de Datos Jerárquicos


Recursos

  • OR-F-062.  Implementación y ejemplos Árboles
  • OR-F-063.  Akinator (Árboles de Decisión)

Lecturas (muy) avanzadas

  • OR-F-064.  Binary Space Partition (BSP)
Copyright 2014, por los autores de los cursos. Cite/attribute Resource. Otros Recursos. (2012, May 04). Retrieved June 28, 2017, from OCW Universidad de Cantabria Web site: http://ocw.unican.es/ensenanzas-tecnicas/estructuras-de-datos/otros-recursos. Esta obra se publica bajo una licencia Creative Commons 4.0. Creative Commons 4.0