skip to main | skip to sidebar

Ingeniería de Software

Mostrando entradas con la etiqueta SPIN. Mostrar todas las entradas
Mostrando entradas con la etiqueta SPIN. Mostrar todas las entradas

domingo, 21 de marzo de 2010

Métodos formales 15 mar.

Parte1
Parte2
Publicado por Libertad en 10:27 No hay comentarios:
Etiquetas: Cygwin, SPIN, Ubuntu, VirtualBox
Entradas antiguas Inicio
Suscribirse a: Entradas (Atom)

Datos personales

Mi foto
Libertad
Ver todo mi perfil

Etiquetas

Arquitecturas de interfaces (1) Calidad (1) Cygwin (1) DET (1) Diseño de experimentos (1) Dispositivos de interacción (1) EI (1) EIF (1) EO (1) EQ (1) FTR (1) ILF (1) PFsA (1) Proceso (1) Producto (1) Puntos de función (1) RET (1) SPIN (1) Sistemas computacionales (1) Tiempo de respuesta (1) Técnicas de diálogo (1) Ubuntu (1) VirtualBox (1)

Archivo del blog

  • ▼  2010 (5)
    • ▼  marzo (5)
      • Experimentación de SW 19 mar.
      • Seminario de Tesis I 18 mar.
      • Calidad de SW 16 mar.
      • Métodos formales 15 mar.
      • De vuelta a clases...
  • ►  2009 (10)
    • ►  noviembre (2)
    • ►  octubre (8)

Suscribirse a Ingeniería de Software

Entradas
Atom
Entradas
Comentarios
Atom
Comentarios

Buscar este blog