Diapositiva PPT

• Sintaxis:

<nombre_operación> : <conj_dominio> ? <conj_resultado>

• Los distintas notaciones formales difieren en la forma de definir la semántica:

  • Método axiomático o algebraico. Se establece el significado de las operaciones a través de relaciones entre operaciones (axiomas). Significado implícito de las operaciones.
  • Método constructivo u operacional. Se define cada operación por sí misma, independientemente de las otras, basándose en un modelo subyacente. Significado explícito de las operaciones.

1.3. Especificaciones formales.

Diapositiva anterior

Diapositiva siguiente

Ir a la primera diapositiva

Ver versión gráfica