Especificación del comportamiento observable de sistemas software concurrentes
| Data(s) |
1982
|
|---|---|
| Resumo |
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) |
| Formato |
application/pdf |
| Identificador | |
| Idioma(s) |
spa |
| Publicador |
E.T.S.I. Telecomunicación (UPM) |
| Relação |
http://oa.upm.es/22701/1/Especificacion_del_comportamiento.pdf |
| Direitos |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ info:eu-repo/semantics/openAccess |
| Fonte |
V Congreso de Informática y Automática | V Congreso de Informática y Automática | Mayo 1982 | |
| Palavras-Chave | #Telecomunicaciones #Informática |
| Tipo |
info:eu-repo/semantics/conferenceObject Ponencia en Congreso o Jornada NonPeerReviewed |
