[1]
Cox B J. Object oriented programming. (1985).
Google Scholar
[2]
Gao Song. The Research On Tailoring Linux . Software Guide. 2006, 1. 20.
Google Scholar
[3]
Lee Che-Tai, Hong Zeng-Wei, Lin Jim-Min. Linux Kernel Customization for Embedded Systems By Using Call Graph Approach. Proceedings of the 2003 conference on Asia South Pacific design automation ASPDAC, ACM, (2003).
DOI: 10.1109/aspdac.2003.1195109
Google Scholar
[4]
CAI Hong, SHEN Lei, LI Yong-hong. Automatic Tailoring for Embedded Software Based on Coverage Test . Computer Engineering. 2010(01).
Google Scholar
[5]
Allier, Simon, et al. From Object-Oriented Applications to Component-Oriented Applications via Component-Oriented Architecture., Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on. IEEE, (2011).
DOI: 10.1109/wicsa.2011.35
Google Scholar
[6]
Rumbaugh J, Jacobson I, BoochG. The Unified Modeling Language Reference Manual. Massachusetts, USA: Addis on Wesley , (1999).
Google Scholar
[7]
Eckel B, Allison C. Thinking in Java (4th Edition) . Englewood Cliffs: Prentice Hall, (2006).
Google Scholar
[8]
Horstmann C S, Gary Cornell. Core Java, Volume I-Fundamentals Author: Cay S. Horstmann, Gary Cornell, Publisher: Prentice Hall Pa. (2007).
DOI: 10.1145/2464526.2464552
Google Scholar
[9]
Nielson Flemming, Nielson Hanne Riis, Hankin Chris. Principles of program analysis . Springer (Corrected 2nd printing ) , (2005).
Google Scholar
[10]
Cousot, P., Cousot, R. Abstractinterpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Conference Record of the 4th ACM Symposium on Principles of Programming Languages (POPL) . 1977: 238-252.
DOI: 10.1145/512950.512973
Google Scholar
[11]
DetlefsDL , Nelson G , Saxe J B. A theorem prover for program checking . HP Laboratories Palo Alto, TechnicalReport , (2003).
Google Scholar