¡Esta es una revisión vieja del documento!


Contenido 2011-2012

Tema Sesión Referencias Transparencias Notas de clase y ejemplos
Indroducción sesión 1-2 [ 1, cap 1.5-1.8,2.1-2.2] clase1-2011.pdf intromodelos_2011_parqueo.zip
Corrección de un modelo, refinar modelos sesión 3-4 [ 1, cap 2.3-2.5] intromod-clase2-2011.pdf usarrodin.pdfpeaje.zip parqueo-ref-2zones.zip
Eventos no determinísticos sesión 5-6 [ 1, cap 2.3-2.5] intromod-clase3-2011.pdfbicicleta_abstr.zip
Especificación de tablas: relaciones sesión 7-8 [ 1, cap 2.3-2.5] intromod-clase5-2011.pdf parqueo-ref-permisos.zip futbol3ref.zip
Operaciones sobre relaciones sesión 8-12 [ 1, cap 2.3-2.5] intromod-clase7-2011.pdf MIO refinamientos 1-4
Requerimientos sesión 13-19 [ 1, cap 2.3-2.5] clase-espec-relaciones.pdf Ejemplo Requerimientos univ_cursos.zip
Requerimientos(2) sesión 20-22 [ 1, slides] requerimientos2.pdf MIO:ejemplo completo
Proyecto Final sesión 20-22 [ 1, slides] proyecto_final.pdf proyecto_final_req.pdf
Sistema de Red Social sesión 23-26 [ 1, slides] redsocial_tarea.zip

Software

  1. RODIN, Edición y prueba de sistemas EventB: http://sourceforge.net/projects/rodin-b-sharp

Material Adicional

Votaciones: votaciones.pdf

Pruebas: proofs.pdf

Exámenes anteriores

2011-1: examen1

2011-2: Examen 1

 
materias/material_2011-1.1345064581.txt.gz · Última modificación: 2012/08/15 16:03 por crueda
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki