3MEHLITZ P C. Design for verification with dynamic assertions [C]//Proceedings of the 29th Annual IEEE/NASA Goddard Software Engineering Workshop-Tutorial Notes. Washington,D. C. ,USA..IEEE,2005:285-292. 被引量：1
4MARKOSIAN L Z, MANSOURI-SAMANI M. Program model checking using design-for-verification: NASA flight software case study[C]//Proceedings of 2007 IEEE Aerospace Con/erence Washington, D. C. , USA: IEEE, 2007 : 1-9. 被引量：1
5MOHA N, GUEHENEUC Y G. PTIDEJ and DECOR: Iden tification of design patterns and design defects[C]//Proceed- ings of the Conference on ObjecvOriented Programming Sys- tems, Languages, and Applications. New York, N. Y. , USA: ACM, 2007: 868-869. 被引量：1
6GUEHENEUC Y G, HERVE A A. Using design patterns and constraints to automate the detection and correction of inter class design defects[C]//Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. Washington, D. C. , USA: IEEE Com- puter Society,2001:296-305. 被引量：1
7WILHELMS S. Function and constraint-based conceptual de- sign support using easily exchangeable, reusable principle so lution elements[J]. Artificial Intelligence in Design, Analysis and Manufacture, 2005,19(3) : 201-219. 被引量：1
