Acta Informatica manuscript No.
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Acta Informatica manuscript No.
|
| Id. |
42079108 |
| Idioma |
inglés
|
| Titulo |
Acta Informatica manuscript No. |
| Autor(es) |
E. Astesiano,G. Reggio |
| Localización |
http://citeseer.ist.psu.edu/643571.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In the last ten years we have developed and experimented
in a series of projects, including industry test cases, a method for
the specification of reactive/concurrent/parallel/distributed systems
both at the requirement and at the design level. We present here in
outline its main technical features, providing pointers to appropriate
references for more detailed presentations of single aspects, applications
and documentation. |
| Tipo |
ps |
| Palabras clave |
E. Astesiano,G. Reggio Acta Informatica manuscript No. |
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps |
| Requerimientos técnicos |
Browser: Any |
| Relación |
[IsBasedOn] ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio01b.ps
[References] oai:CiteSeerPSU:220163
[References] oai:CiteSeerPSU:228961
[References] oai:CiteSeerPSU:317361
[References] oai:CiteSeerPSU:315785
[References] oai:CiteSeerPSU:134273
[References] oai:CiteSeerPSU:318253
[References] oai:CiteSeerPSU:503725
[References] oai:CiteSeerPSU:720939
[References] oai:CiteSeerPSU:225480
[References] oai:CiteSeerPSU:348229
[References] oai:CiteSeerPSU:583999
[References] oai:CiteSeerPSU:459193
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|