• It's the Specification, St...

Treffer: It's the Specification, Stupid!

Title:
It's the Specification, Stupid!
Authors:
Broy, Manfred1 (AUTHOR) broy@in.tum.de, Ruess, Harald2,3 (AUTHOR) harald.ruess@entalus.com, Shankar, Natarajan4 (AUTHOR) shankar@csl.sri.com
Source:
Communications of the ACM. Dec2025, Vol. 68 Issue 12, p22-24. 3p.
Subject Terms:
*COMPUTER software development, *COMPUTER software quality control, *PROGRAMMING languages, SOFTWARE verification, LANGUAGE models
Database:
Business Source Premier

Weitere Informationen

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.