Abstract
Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hall, J.A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)
Jonathan, P.B.: Seven More Myths of Formal Methods. IEEE Computer 12(4), 34–41 (1995)
NASA JPL: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Pasadena , CA , USA. (Manual) - Vol (I) : Planning and Technology Insertion , (NASA2GB2002295), (1995) - Vol (II): A Practitioner’s Companion, (NASA2GB2001297) (1997)
Website, CS Department of Peking University, Beijing, China, http://www.cs.pku.edu.cn/
Website, CS Department of Nanjing University, Nanjing, China, http://www.cs.nju.edu.cn/
Website, CS & Engineering School of Beijing University of Aeronautics and Astronautics, Beijing, China, http://scse.buaa.edu.cn/
Website, CS Department of Shanghai Jiao Tong University, Shanghai, China, http://www.cs.sjtu.edu.cn/
Website, CS & Technology School of Jilin University, Jilin, China, http://info.jlu.edu.cn/~cs/
Website, CS & Engineering Department of Southeast University, Nanjing, China, http://cse.seu.edu.cn/
Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying Formal Specification in Industry. IEEE Software 13(7), 48–56 (1996)
Hinchey, M.G., Bowen, J.P.: Applications of Formal Methods FAQ. In: Applications of Formal Methods, pp. 1–15. Prentice Hall, Englewood Cliffs (1995)
Clarke, E., Wing, J.: Formal Methods: State of the Art and Future Directions. CMU Com-puter Science Technical Report CMU 2CS2962178, pp. 1–22 (1996)
Chen, H.W., Qi, Z.C., Wang, B.S., Ning, H., Tan, Q.P.: A Framework for Rigorous Software Development (in Chinese). Journal of Software 7(3), 187–193 (1996)
Fu, Q.: Inquiry Learning under Western and Oriental Cultural Environment (in Chinese). Communications on Education Technology (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xu, B., Zhang, Y., Li, Y. (2004). Retrospect and Prospect of Formal Methods Education in China. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-30472-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23611-5
Online ISBN: 978-3-540-30472-2
eBook Packages: Springer Book Archive