Guia docente 2012_13 E. S. de Ingeniería Informática

Competencias de materia

Resultados previstos na materia

Tipoloxía

Resultados de Formación e Aprendizaxe

Coñecer os conceptos básicos de Métodos Formais.

saber

A5
A12
A26
A31
A36

B1
B3

Ser capaz de especificar un sistema usando unha linguaxe de especificación formal.

saber

saber facer

A32

B1
B3
B5
B7

Aplicar as probas formais para comprobar a corrección dunha especificación.

saber

saber facer

A5
A8
A12
A26
A29
A35

B3
B5
B7
B9
B22

Ter capacidade para comunicarse de forma oral en temas referentes á materia.

Saber estar / ser

B1
B3
B7

Ser capaz de traballar en equipo no desenvolvemento dunha especificación.

Saber estar / ser

B13
B15
B19
B22

Ser capaz de resolver problemas da materia e tomar decisións ó respecto.

Saber estar / ser

A12
A29
A31
A35

B2
B10
B18
B20

Ter capacidade para seleccionar entre varias a especificación que mellor defina o sistema a construír.

saber facer

A5
A12
A35