Tesis
de Licenciatura
-
2005
-
Ismael Everardo Bárcenas Patiņo:
La Semántica de Acción para el Lenguaje PCF.
Asesor: Jesús Lavalle M. (pdf)
(Prototipo)
-
2003
-
Rubén Monjaraz Hernández-Imbert:
Caracterización de Redes de Petri y Sistemas de Reescritura de
Términos mediante Reescritura Regulada.
Asesor: Jesús Lavalle M. (pdf)
(Prototipo)
-
Daniel López Fernández: Especificación Formal de
un Sistema de Recuperación de Información Modelado con UML.
Asesor: Jesús Lavalle M. (pdf)
(Prototipo)
-
2001
-
Laura Itzelt Reyes Montiel: Especificación Formal de Sistemas
Concurrentes mediante Cálculo-Pi
.
Asesor: Jesús Lavalle M. (pdf)
(Prototipo)
-
2000:
-
Abraham Nieva de la Hidalga: Especificación y Verificación
de Circuitos Lógicos mediante el Álgebra de procesos
Circal.
Asesor: Jesús Lavalle M. (ps.gz)
(Prototipo)
-
Rodolfo Palacios Ancona: Semántica Denotacional del Modelo de
Actores
Asesor: Jesús Lavalle M. (ps.gz)
-
1999:
-
Pablo Arriega Spezzia: Redes de Petri para la Especificación
de Sistemas Concurrentes.
Asesor: Jesús Lavalle M. (ps.gz)
(Prototipo)
-
Isauro Mancilla Sánchez: Intérprete de ML y Demostración
Automática de Teoremas en Lógica de Alto Orden.
Asesor: Jesús Lavalle M. (ps.gz)
(Prototipo)
-
Miguel López Robles: Prototipo para la Notación Z.
Asesor: Jesús Lavalle M. (ps.gz)
(Prototipo)
-
1998:
-
José Juan Palacios Pérez: Especificación Formal
de Sistemas Interactivos mediante Lógica Lineal.
Asesor: Jesús Lavalle M. (ps.gz)
(Prototipo)