Métodos Formales para la Ingeniería del Software

1

Creadores

Busca apuntes, exámenes y más

Todo
Apuntes
Ejercicios
Exámenes
Prácticas
publication
Trabajos
chevron_left
chevron_right
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

apuntes

-

Temario

He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Temario

Tema-1Introduccion-a-los-Metodos-Formales.pdf
Tema-2Model-Checking.pdf
Tema-3Repaso-de-Conjuntos-y-Relaciones.pdf
Tema-3Alloy.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

apuntes

-

Evaluacion-continua-Model-Checking-Parcial-1.pdf

He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Evaluacion-continua-Model-Checking-Parcial-1.pdf

5 páginas
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

ejercicios

-

Ejercicios-Laboratorio-Modelado.pdf

He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: Ejercicios-Laboratorio-Modelado.pdf

25 páginas
Anónimo
@Anónimo
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

examenes

-

Solucion-parcial-spin.pdf

Solución del profesor parcial 1

2 páginas
Anónimo
@Anónimo
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

examenes

-

Solucion-parcial-alloy.pdf

Examen parcial alloy resuelto por el profesor, versión dinámica

2 páginas
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

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
Cuestionario-1-Con-Solucion.pdf
#Métodos Formales para la Ingeniería del Software·Grado en Ingeniería del Software (UMA)

Quien suba la Practica 4 salva a mucha gente

Hazlo por el bien comunitario

#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

trabajos

-

Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf

He publicado nuevos trabajos de 4º Métodos Formales para la Ingeniería del Software: Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf

18 páginas
Anónimo
@Anónimo
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

apuntes

-

Apuntes-MFIS.pdf

He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Apuntes-MFIS.pdf

9 páginas
#Métodos Formales para la Ingeniería del Software·Grado en Ingeniería del Software (UMA)

PAGO POR LA PRACTICA 5

pago 20€ por tener la practica 5

#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Práctica 4 resuelta (Procesos)

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 4 resuelta (Procesos)

Practica-4-Procesos-de-negocio-postarea.pdf
Practica-4-Procesos-de-negocio.pdf
bpmn.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Práctica 3 resuelta (Panadería)

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 3 resuelta (Panadería)

Practica-3-Panaderia.pdf
bakeryp.pdf
dekkerpp.pdf
parallel.pdf
parallelpp.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Práctica 2 resuelta (Filósofos)

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 2 resuelta (Filósofos)

dining-philosophers3.pdf
Practica-2-Filosofos.pdf
dining-philosophers2.pdf
dining-philosophers1.pdf
dining-philosophers5.pdf
dining-philosophers4.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Práctica 1 resuelta (Peg-solitaire)

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 1 resuelta (Peg-solitaire)

TRIANGULAR-PEG-SOLITAIRE.pdf
Practica-1.pdf
PEG-SOLITAIRE-OBJETOS.pdf
PEG-SOLITAIRE-FIJA.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Práctica 1 Peg-Solitaire

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 1 Peg-Solitaire

Miniatura no disponible
PRACTICA-1-PEG-SOLITAIRE
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

practicas

-

Prácticas Maude

He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Prácticas Maude

DINING-PHILOSOPHERS1.pdf
DINING-PHILOSOPHERS3.pdf
DINING-PHILOSOPHERS2.pdf
TRIANGULAR-PEG-SOLITAIRE.pdf
PEG-SOLITAIRE.pdf
BAKERY.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

apuntes

-

Temario (Maude)

He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Temario (Maude)

mfis-tema1.pdf
mfis-tema2.pdf
Anónimo
@Anónimo
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

ejercicios

-

RABBIT-HOP (Listas parametrizadas)

He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: RABBIT-HOP (Listas parametrizadas)

Miniatura no disponible
rabbit.maude
Miniatura no disponible
rabbit-view.maude
Miniatura no disponible
rabbit-hop.maude
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

ejercicios

-

Relaciones

He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: Relaciones

Relacion-LTL.pdf
Relacion-Sistemas-de-Transicion.pdf
Relacion-1-MC.pdf
#Métodos Formales para la Ingeniería del Software·4º Grado en Ingeniería del Software (UMA)

examenes

-

Ejercicios de examenes

He publicado nuevos examenes de 4º Métodos Formales para la Ingeniería del Software: Ejercicios de examenes

3-Ejer-Alloy.pdf
1-Ejer.pdf
2-Ejer.pdf
4-Ejer-OCL.pdf