Especificación del comportamiento observable de sistemas software concurrentes

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

Description

Title: Especificación del comportamiento observable de sistemas software concurrentes
Author/s:
  • Sáez Vacas, Fernando
  • León Serrano, Gonzalo
Item Type: Presentation at Congress or Conference (Article)
Event Title: V Congreso de Informática y Automática
Event Dates: Mayo 1982
Title of Book: V Congreso de Informática y Automática
Date: 1982
Subjects:
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (288kB) | Preview

Abstract

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)

More information

Item ID: 22701
DC Identifier: http://oa.upm.es/22701/
OAI Identifier: oai:oa.upm.es:22701
Deposited by: Biblioteca ETSI Telecomunicación
Deposited on: 04 Mar 2014 11:12
Last Modified: 21 Apr 2016 17:42
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM