Formal methods: Importance, experience, and comparative analysis
Issue title: Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003
Affiliations: [a] Faculty of Computer & Info. Science, Misr International University, Ismailia Road, Cairo, Egypt. Tel.: +20 2 3354158; Fax: +20 2 3369686; E-mail: [email protected] | [b] EpiTech 14/16 Rue Voltaire 94270 Kremelin Bicetre, France. E-mail: [email protected]
Abstract: In this paper, we investigate the use of formal methods in the various phases of the life-cycle of developing communications protocols, software, and distributed systems. We identify important reasons and benefits for using formal methods. We also review formal methods for automating some of these phases and conduct practical cases of using these formal methods. We elaborate on the experience gained from using such formal methods. We present comparative analysis of these methods and approaches where we prove unsuitability of some of them. The investigations of the scope of applicability and applications of these methods are also presented here. We conclude by highlighting points for further research.
