SOFTWARE DESIGN METHODS AND REPRESENTATIONS - Software Design for Six-Sigma: A Roadmap for Excellence - page 101

Cortes, Luis, Eles, Petru, and Peng, Zebo (2002), A Survey on Hardware/Software Code-
sign Representation Models , Technical Report, Link oping University, Wiley, New York,
2002.
De Michell, Micheli and Gupta, Rajesh (1997), “Hardware/software co-design.” Proceedings
of the IEEE , Mar. Volume 85, pp. 349-365.
Devadas, Srinivas, Ghosh, Abhijit, and Keutzer Kurt (1994), Logic Synthesis , McGraw-Hill,
New York.
Domer, R., Gajski, D. and J. Zhu, “Specification and Design of Embedded Systems,” IT + TI
Magazine , Volume 3 , #S-S, pp. 7-12.
Edwards, Stephen, Lavagno, Luciano, Lee, Edward, and Sangiovanni-Vincentelli Alberto
(1997), “Design of embedded systems: Formal models, validation, and synthesis,” Pro-
ceedings of the IEEE , Volume 85, pp. 366-390.
Gajski, Daniel, Zhu, Jainwen, and D omer, Rainer (1997), Essential Issues in Codesign: Infor-
mation and Computer Science , University of California, Irvine, CA.
Gajski, Danieh, Zhu, Jainwen, D omer, Rainer, Gerstlauer, Andreas, and Zhao, Shuging (2000),
SpecC, Specification Language and [Design] Methodology Kluwer Academic, Norwell,
MA.
Gomaa, Hassan (1989), Software Design Methods for Real Time Systems , SEI Curriculum
Module SEI-CM-22-1.0, George Mason University, Dec. 1989, p. 1.
Jantsch, Axel and Sander, Ingo (2005), Models of computation in the design process, Syste-
monchip: Next Generation Electronics , IEEE, New York.
Jerraya, Ahmed and O'Brien, Kevin (1995), “SOLAR: An intermediate format for system-
level modeling and synthesis.” Computer Aided Software/Hardware Engineering , pp.
147-175.
Jerraya, Ahmed, Romdhani, M., Le Marrec, Phillipe, Hessel, Fabino, Coste, Pascal, Valder-
rama, C., Marchioro, G. F., Daveau, Jean-marc, and Zergainoh, Nacer-Eddine (1999),
“Multilanguage specification for system design and codesign.” System Level Synthesis ,
1999.
Keutzer, Kurt Malik, S., Newton, A. R., Rabaey, J. M., Sangiovanni-Vincentelli, Alberto
(2000), “ System-level design: Orthogonalization of concerns and platform-based design,”
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems , Volume
19, p. 1523.
Khoo, Benjamin Kok Swee (2009), Software Design Methodology , http://userpages.umbc.edu/
∼ khoo/survey1.html.
Laplante, Phillip A. (2005), “ Real-Time Systems Design and Analysis ,” 3rd Ed., IEEE Press,
New York.
Lee Edward and Parks Thomas (1995), “Dataflow process networks.” Proceedings of the IEEE ,
Volume. 83, pp. 773-801.
Martin, Grant and Salefski, Bill (1998), “Methodology and Technology for Design of Com-
munications and Multimedia Products via System-Level IP Integration,” Proceedings of
the DATE'98 Designers' Forum , June, pp.11-18.
Nimmer Melville B. and Nimmer David (1991), NIMMER ON COPYRIGHT, § 13.03 [F] at
13-78.30 to .32 (1991).
Niemann, Raif (1998), Hardware/Software Co-Design for Data Flow Dominated Embedded
Systems . Kluwer Academic Publishers, Boston, MA.