It's the Specification, Stupid!

In this article the authors challenge the current state of the test-fix-test coding cycles for software development and propose formal verification. The consideration of specification in formal verification is discussed as well as timing of verification. Topics include big specifications and front-l...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 68; no. 12; pp. 22 - 25
Autores principales:	Broy, Manfred, Ruess, Harald, Shankar, Natarajan
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2025
Materias:	Computer software development Computer software quality control Software verification Language models Programming languages
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	In this article the authors challenge the current state of the test-fix-test coding cycles for software development and propose formal verification. The consideration of specification in formal verification is discussed as well as timing of verification. Topics include big specifications and front-loading as well as the role of large language models in this process.