Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (288kB) | Vista Previa |
Especificación del comportamiento observable de sistemas software concurrentes
Cita
Sáez Vacas, Fernando and León Serrano, Gonzalo 
ORCID: https://orcid.org/0000-0002-6313-6461
(1982).
Especificación del comportamiento observable de sistemas software concurrentes.
En: "V Congreso de Informática y Automática", Mayo 1982.
ORCID: https://orcid.org/0000-0002-6313-6461
(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: |
|
| 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: | |
| ODS: | |
| Escuela: | E.T.S.I. Telecomunicación (UPM) |
| Departamento: | Ingeniería de Sistemas Telemáticos |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
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: | https://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 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
