Reflecting on Formal Methods

Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)

Ricardo Maldonado¹  Stella Höhn¹ 

[1] Universidad de Cambridge;

关键词: Complexity;    Computer Science;    formality;    Mathematics;    Software Engineering;   

DOI  :  

来源: DOAJ

【 摘 要 】

Mathematize Software Engineering is the dream of many mathematicians and computer scientists for over half a century, and Formal Methods is designed and structured technology to address the problem of software quality. In this article is presented a reflection on formal methods, with a view to contributing to the discussion of its benefits and restrictions. The objective is that the future be different for software and for those who manufacture, so that in this way the society can enjoy the best quality products and reliability.

【 授权许可】

Unknown