Seven more myths of formal methods: Dispelling industrial prejudices
作者： Jonathan P. Bowen , Michael G. Hinchey
关键词: Software engineering 、 Mythology 、 Formal methods 、 Computer science 、 Requirements elicitation 、 Prototype Verification System
摘要: For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement uptake methods, it is still case that vast majority potential users fail to become actual users. A paper by Hall 1990 [31] examined a number ‘myths’ concerning assumed be valid. This considers few beliefs held many and presents counter examples.
springer.com
core.ac.uk
sci-hub.st 参考文章(42)
M. J. C. Gordon, C. A. R. Hoare, Mechanized reasoning and hardware design Prentice-Hall, Inc.. ,(1992)
Jonathan P. Bowen, Michael G. Hinchey, Formal Methods and Safety-Critical Standards IEEE Computer. ,(1994)
JS Fitzgerald, PG Larsen, T Brookes, M Green, Developing a Security-critical System using Formal and Conventional Methods formal methods. ,(1995)
He Jifeng, Ian Page, Jonathan Bowen, Towards a Provably Correct Hardware Implementation of Occam CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods. pp. 214- 225 ,(1993) , 10.1007/BFB0021726
Klaus Kronlöf, Method integration: concepts and case studies John Wiley & Sons, Inc.. ,(1993)
Mark Saaltink, Z and Eves Proceedings of the Z User Workshop. pp. 223- 242 ,(1991) , 10.1007/978-1-4471-3203-5_11
M. J. C. Gordon, T. F. Melham, Introduction to HOL: a theorem proving environment for higher order logic Cambridge University Press. ,(1993)
Jonathan Bowen, Mike Gordon, Z and HOL Z User Workshop, Cambridge 1994. pp. 141- 167 ,(1994) , 10.1007/978-1-4471-3452-7_9
Fiona Polack, Keith C. Mander, Software Quality Assurance using the SAZ Method Z User Workshop, Cambridge 1994. pp. 230- 249 ,(1994) , 10.1007/978-1-4471-3452-7_13
S. Owre, J. M. Rushby, N. Shankar, PVS: A Prototype Verification System conference on automated deduction. pp. 748- 752 ,(1992) , 10.1007/3-540-55602-8_217