Sökning: onr:"swepub:oai:DiVA.org:bth-17350" >
A proposal of an ex...
A proposal of an example and experiments repository to foster industrial adoption of formal methods
-
- Schlick, Rupert (författare)
- Austrian Institute of Technology, AUT
-
- Felderer, Michael, 1978- (författare)
- Blekinge Tekniska Högskola,Institutionen för programvaruteknik
-
- Majzik, Istvan (författare)
- Budapest University of Technology and Economics, HUN
-
visa fler...
-
- Nardone, Roberto (författare)
- Universita degli Studi di Napoli Federico II, ITA
-
- Raschke, Alexander (författare)
- Universitat Ulm, DEU
-
- Snook, Colin (författare)
- University of Southampton, GBR
-
- Vittorini, Valeria (författare)
- Universita degli Studi di Napoli Federico II, ITA
-
visa färre...
-
(creator_code:org_t)
- 2018-10-30
- 2018
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer Verlag. - 9783030034269 ; , s. 249-272
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Benchmarks
- Formal methods
- Formal models
- Industrial adoption
- Benchmarking
- Digital storage
- Formal model
- Good scientific practices
- Open datum
- Potential benefits
- Potential users
- Research fields
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas