Libro: Generación De Especificaciones Ejecutables Systemc He

Descripción

¿Por qué comprar con MS GLOBAL?

Todos nuestros productos son nuevos e importados de Estados Unidos. Tenemos cobertura de entrega en todo el país
¡Tú compra está protegida! Ofrecemos 30 días de garantía por cualquier motivo. Lo anterior es adicional a la garantía de fábrica de cada producto.

- - - - - - - - - - - - - - -

PRODUCTO: Libro: Generación de Especificaciones Ejecutables SystemC Heterogéneas: Metodología formal basada en modelos (Spanish Edition)

DESCRIPCION:
Este trabajo presenta una metodología para el diseño de sistemas empotrados basado en modelos. Esta metodología permite la captura de la semántica ejecutiva de varios modelos de computación. Se establece un mapeo a SystemC con el fin de obtener especificaciones ejecutables que permiten simular, validar y analizar dichos modelos Para una simulación correcta de los modelos, esta metodología utiliza los mecanismos proporcionados por la metodología HetSC a fin de especificar la variedad semántica ejecutiva en las correspondientes especificaciones SystemC. Con el fin de garantizar que todo el flujo de diseño sea semánticamente consistente, esto es, que las características semánticas relacionadas con la concurrencia y los mecanismos de comunicación capturados en los modelos son plasmados en la correspondiente especificación ejecutable el mapeo está soportado formalmente. Este soporte formal es proporcionado por ForSyDe (Formal System Design). El metamodelo formal ForSyDe proporciona la coherencia semántica en el proceso de transformación desde los modelos a las especificaciones.



Color:

Marca: Eae Editorial Academia Espanola
Dimensiones: 0.22 x 0.15 x 0.01mts.
Peso del Producto: 0.15 Kilogramos.
Peso de Envio: 0.15 Kilogramos.
Modelo: IMPORTANTE:
- Rapidez en envió: PRODUCTO DISPONIBLE para envió Internacional (Se demora aproximadamente 10 días).
- No realizamos factura fiscal
- Muchos de nuestros productos se venden en EEUU y vienen en idioma ingles (juegos, electrónicos, etc).
- Asesoría: Aclara todas tus dudas sobre compatibilidad en la sección de preguntas, estamos para servirte.