Cremalleras y espirales o cómo co-diseñar mejor

• Autores: Natividad Martínez Madrid , Andrés Marín López , Sergip Deprés Díaz, Carlos Delgado Kloos , José Luis Fernández Sánchez
• Localización: I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 323-332
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • En este artículo abordamos el problema del co-diseño de sistemas hardaware/software utilizando métodos formales y técnicas de resolución de riesgos. La metodología se apoya en traductores de LOTOS a C y a VHDL, el último de los cuales presentamos y comparamos con otra herramienta comercial.