Automatic Code Generation Through Model-Driven Design
暂无分享,去创建一个
[1] Christopher A. Rouff,et al. A formal approach to requirements-based programming , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
[2] Christopher A. Rouff,et al. Some Verification Issues at NASA Goddard Space Flight Center , 2005, VSTTE.
[3] Bernhard Rumpe,et al. Model-driven Development of Complex Software : A Research Roadmap , 2007 .
[4] Mirko Conrad,et al. Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.
[5] Remco M. Dijkman,et al. Abstract interactions and interaction refinement in model-driven design , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).
[6] D. Isbell,et al. Mars Climate Orbiter Team Finds Likely Cause Of Loss , 2007 .
[7] James Vallino. Software as a component in safety-critical systems professional development leave report , 2005 .
[8] Barry Boehm,et al. A view of 20th and 21st century software engineering , 2006, ICSE.
[9] Barry Boehm,et al. Top 10 list [software development] , 2001 .
[10] Barry W. Boehm,et al. Software Defect Reduction Top 10 List , 2001, Computer.
[11] Yuefeng Zhang. Test-Driven Modeling for Model-Driven Development , 2004, IEEE Softw..
[12] Chen Xi,et al. Modeling SystemC design in UML and automatic code generation , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
[13] John C. Knight,et al. Echo: a practical approach to formal verification , 2005, FMICS '05.
[14] James R. Larus,et al. Righting software , 2004, IEEE Software.