Tesis:
Una notación formal orientada a objetos: Especificaciones ejecutables con Clay
- 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
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico: http://oa.upm.es/5682/
- Director/a 1º: 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.