Title :
A survey on formal methods using in software development
Author :
Juan You ; Junquan Li ; Song Xia
Author_Institution :
Zhengzhou Inf. Sci. & Technol. Inst., Zhengzhou, China
Abstract :
Formal methods have been well used in software development segments of requirement analysis, system design and realization, test and maintenance.In this paper, the research status, achievement and problems of formal methods are summarized. Some recent progress and applications of formal methods using in software development are reviewed. The limitations and further research directions are pointed. Research on formal methods can ensure the software system security and reliability by making strict and precise specifications, and verifying several system performances as well.
Keywords :
formal specification; program testing; program verification; security of data; software maintenance; software reliability; formal methods; precise specification; requirement analysis; software development; software development segments; software reliability; software system security; system design; system performance verification; Formal Methods; Formal Specification; Formal Verification; Software Development;
Conference_Titel :
Information Science and Control Engineering 2012 (ICISCE 2012), IET International Conference on
Conference_Location :
Shenzhen
Electronic_ISBN :
978-1-84919-641-3
DOI :
10.1049/cp.2012.2353
