Especificación del comportamiento observable de sistemas software concurrentes

Sáez Vacas, Fernando y León Serrano, Gonzalo (1982). Especificación del comportamiento observable de sistemas software concurrentes. En: "V Congreso de Informática y Automática", Mayo 1982.

Descripción

Título: Especificación del comportamiento observable de sistemas software concurrentes
Autor/es:
  • Sáez Vacas, Fernando
  • León Serrano, Gonzalo
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: V Congreso de Informática y Automática
Fechas del Evento: Mayo 1982
Título del Libro: V Congreso de Informática y Automática
Fecha: 1982
Materias:
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
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 (288kB) | Vista Previa

Resumen

El desarrollo de métodos de especificación formal de sistemas software y de los modelos que los informan, ha sido reconocido como una necesidad básica en la ingeniería del software. En la especificación de sistemas software secuenciales, tanto las especificaciones axiomáticas, como las procedentes de abstracciones(ya sean datos o procedimientos)

Más información

ID de Registro: 22701
Identificador DC: http://oa.upm.es/22701/
Identificador OAI: oai:oa.upm.es:22701
Depositado por: Biblioteca ETSI Telecomunicación
Depositado el: 04 Mar 2014 11:12
Ultima Modificación: 21 Abr 2016 17:42
  • 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