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...
| Published in: | Communications of the ACM Vol. 68; no. 12; pp. 22 - 25 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Dec2025
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=189572611&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 189572611 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2025 vid: 68 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 189572611 10.1145/3736710 ppf: 22 ppct: 3 formats: tig: atl: It's the Specification, Stupid! aug: au: Broy, Manfred Ruess, Harald Shankar, Natarajan affil: Technische Universität München, Institut für Informatik, Garching b. München, Bavaria, Germany SRI International, Computer Science Laboratory, Menlo Park, CA, USA Entalus, Sarasota, FL, United States SRI, Computer Science Laboratory, Menlo Park, California, United States su: Computer software development Computer software quality control Software verification Language models Programming languages sug: subj: Computer software development Computer software quality control Software verification Language models Programming languages ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|