Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (288kB) | Preview |
Especificación del comportamiento observable de sistemas software concurrentes
Citation
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: |
|
| 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 |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
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: | https://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 |
