Autor: HERRANZ NIEVA, Angel

Título: Una notación formal orientada a objetos: Especificaciones ejecutables con Clay

Fecha: 2010

Materia: Sin materia definida

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico: http://oa.upm.es/5682/

Director/a(s):

• Director/a: MARIÑO CARBALLO, Julio

Resumen: La tesis presenta el lenguaje Clay, una notación formal orientada a objetos que busca acercar los métodos formales a los lenguajes de programación y procesos de desarrollo de software más en uso hoy en día. Junto con la definición formal del lenguaje, se proporcionan herramientas y aplicaciones que demuestran la viabilidad del proyecto.