Hardware/Software System Design Based on the MCSE Methodology
暂无分享,去创建一个
Jean Paul Calvez | Olivier Pasquier | Dominique Heller | J. P. Calvez | O. Pasquier | Dominique Heller
[1] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..
[2] Giovanni De Micheli,et al. Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.
[3] Jean Paul Calvez,et al. A CoDesign case study with the MCSE methodology , 1996, Des. Autom. Embed. Syst..
[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[5] Wayne Wolf,et al. Hardware-software co-design of embedded systems , 1994, Proc. IEEE.
[6] Herman Schmit,et al. A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..
[7] Luciano Lavagno,et al. Hardware-software codesign of embedded systems , 1994, IEEE Micro.
[8] Jean Paul Calvez,et al. A System Specification Model and Method , 1996 .
[9] Ulrich Furbach,et al. Formal specification methods for reactive systems , 1993, J. Syst. Softw..
[10] J. P. Calvez,et al. A CoDesign experience with the MCSE methodology , 1994, Third International Workshop on Hardware/Software Codesign.
[11] Frank Vahid,et al. SpecCharts: a VHDL front-end for embedded systems , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[12] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .
[13] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[14] Andy Wellings,et al. Embedded Real-Time Systems: a Specification and Design Methodology , 1994 .