Métodos Formales para la Ingeniería del Software
examenes
-
CUESTIONARIOS RESUELTOS
Para todos los que tengáis que sufrir esta asignatura el año que viene, este es el primer año que evalua las practicas con cuestionarios, espero que os sirvan de algo en un futuro. Un besazo
Cuestionario-2-Con-Solucion.pdf
pdf - examenes
Cuestionario-1-Con-Solucion.pdf
pdf - examenes
Quien suba la Practica 4 salva a mucha gente
Hazlo por el bien comunitario
trabajos
-
Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf
He publicado nuevos trabajos de Métodos Formales para la Ingeniería del Software: Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf
apuntes
-
Apuntes-MFIS.pdf
He publicado nuevos apuntes de Métodos Formales para la Ingeniería del Software: Apuntes-MFIS.pdf
PAGO POR LA PRACTICA 5
pago 20€ por tener la practica 5
practicas
-
Práctica 4 resuelta (Procesos)
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Práctica 4 resuelta (Procesos)
Practica-4-Procesos-de-negocio-postarea.pdf
pdf - practicas
Practica-4-Procesos-de-negocio.pdf
pdf - practicas
bpmn.pdf
pdf - practicas
practicas
-
Práctica 3 resuelta (Panadería)
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Práctica 3 resuelta (Panadería)
Practica-3-Panaderia.pdf
pdf - practicas
bakeryp.pdf
pdf - practicas
dekkerpp.pdf
pdf - practicas
parallel.pdf
pdf - practicas
parallelpp.pdf
pdf - practicas
practicas
-
Práctica 2 resuelta (Filósofos)
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Práctica 2 resuelta (Filósofos)
dining-philosophers3.pdf
pdf - practicas
Practica-2-Filosofos.pdf
pdf - practicas
dining-philosophers2.pdf
pdf - practicas
dining-philosophers1.pdf
pdf - practicas
dining-philosophers5.pdf
pdf - practicas
dining-philosophers4.pdf
pdf - practicas
practicas
-
Práctica 1 resuelta (Peg-solitaire)
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Práctica 1 resuelta (Peg-solitaire)
TRIANGULAR-PEG-SOLITAIRE.pdf
pdf - practicas
Practica-1.pdf
pdf - practicas
PEG-SOLITAIRE-OBJETOS.pdf
pdf - practicas
PEG-SOLITAIRE-FIJA.pdf
pdf - practicas
practicas
-
Práctica 1 Peg-Solitaire
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Práctica 1 Peg-Solitaire
PRACTICA-1-PEG-SOLITAIRE
practica 1 - peg-solitaire - practicas
practicas
-
Prácticas Maude
He publicado nuevos practicas de Métodos Formales para la Ingeniería del Software: Prácticas Maude
DINING-PHILOSOPHERS1.pdf
pdf - practicas
DINING-PHILOSOPHERS3.pdf
pdf - practicas
DINING-PHILOSOPHERS2.pdf
pdf - practicas
TRIANGULAR-PEG-SOLITAIRE.pdf
pdf - practicas
PEG-SOLITAIRE.pdf
pdf - practicas
BAKERY.pdf
pdf - practicas
apuntes
-
Temario (Maude)
He publicado nuevos apuntes de Métodos Formales para la Ingeniería del Software: Temario (Maude)
mfis-tema1.pdf
pdf - apuntes
mfis-tema2.pdf
pdf - apuntes
ejercicios
-
RABBIT-HOP (Listas parametrizadas)
He publicado nuevos ejercicios de Métodos Formales para la Ingeniería del Software: RABBIT-HOP (Listas parametrizadas)
rabbit.maude
maude - ejercicios
rabbit-view.maude
maude - ejercicios
rabbit-hop.maude
maude - ejercicios
ejercicios
-
Relaciones
He publicado nuevos ejercicios de Métodos Formales para la Ingeniería del Software: Relaciones
Relacion-LTL.pdf
pdf - ejercicios
Relacion-Sistemas-de-Transicion.pdf
pdf - ejercicios
Relacion-1-MC.pdf
pdf - ejercicios
examenes
-
Ejercicios de examenes
He publicado nuevos examenes de Métodos Formales para la Ingeniería del Software: Ejercicios de examenes
3-Ejer-Alloy.pdf
pdf - examenes
1-Ejer.pdf
pdf - examenes
2-Ejer.pdf
pdf - examenes
4-Ejer-OCL.pdf
pdf - examenes
examenes
-
Solucion Model Checking examen feb 2014
He publicado nuevos examenes de Métodos Formales para la Ingeniería del Software: Solucion Model Checking examen feb 2014
Ejercicio1.pdf
pdf - examenes
Solucion-MC-teoria-2pregunta.pdf
pdf - examenes
examenes
-
Febrero-2019.pdf
He publicado nuevos examenes de Métodos Formales para la Ingeniería del Software: Febrero-2019.pdf
ejercicios
-
Relaciones
He publicado nuevos ejercicios de Métodos Formales para la Ingeniería del Software: Relaciones
Sistemas-de-Transicion.pdf
pdf - ejercicios
Modelado.pdf
pdf - ejercicios
examenes
-
Examenes Anteriores UMA
He publicado nuevos examenes de Métodos Formales para la Ingeniería del Software: Examenes Anteriores UMA
PropuestaExamen-1415-teorico.pdf
pdf - examenes
PropuestaExamen-1617-teorico.pdf
pdf - examenes
Solucion-MC-teoria-2pregunta.pdf
pdf - examenes
PropuestaExamen-1516-teorico.pdf
pdf - examenes
PropuestaExamen-1314-3.pdf
pdf - examenes
Ejercicio1.pdf
pdf - examenes