An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay

摘要

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. This thesis introduces Clay, an object-oriented formal notation that aims at bridging the gap between formal methods and actual programming languages in use today. Along with a formal account of the notation, tools and applications are proposed to demonstrate the feasibility of this approach.