Formal methods in industrial practice - Bridging the gap (track summary)Show others and affiliations
2018 (English)In: Lect. Notes Comput. Sci., Springer Verlag , 2018, Vol. 11247, p. 77-81Conference paper, Published paper (Refereed)
Abstract [en]
Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).
Place, publisher, year, edition, pages
Springer Verlag , 2018. Vol. 11247, p. 77-81
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11247 LNCS
Keywords [en]
Industrial management, Software design, Fast forward, Industrial practices, Industrial software development, Software development practices, Software industry, Trustworthy softwares, Formal methods
National Category
Software Engineering Reliability and Maintenance Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-41394DOI: 10.1007/978-3-030-03427-6_10Scopus ID: 2-s2.0-85056479295ISBN: 9783030034269 (print)OAI: oai:DiVA.org:mdh-41394DiVA, id: diva2:1379000
Conference
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9
2019-12-162019-12-162019-12-18Bibliographically approved