Tesis doctoral de ángel Herranz Nieva
La tesis introduce 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.
Datos académicos de la tesis doctoral «An object-oriented formal notation: executable specifications in clay«
- Título de la tesis: An object-oriented formal notation: executable specifications in clay
- Autor: ángel Herranz Nieva
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 24/01/2011
Dirección y tribunal
- Director de la tesis
- Julio Mariño Carballo
- Tribunal
- Presidente del tribunal: martin Wirsing
- verónica Dahl (vocal)
- Juan Garbajosa sopeña (vocal)
- ernesto Pimentel sanchez (vocal)