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

Herranz Nieva, Ángel (2010). An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay . Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay
Autor/es:
  • Herranz Nieva, Ángel
Director/es:
  • Mariño Carballo, Julio
Tipo de Documento: Tesis (Doctoral)
Fecha: 25 Noviembre 2010
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

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. 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.

Más información

ID de Registro: 5682
Identificador DC: http://oa.upm.es/5682/
Identificador OAI: oai:oa.upm.es:5682
Depositado por: Archivo Digital UPM
Depositado el: 07 Ene 2011 10:52
Ultima Modificación: 20 Abr 2016 14:25
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM