Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899292013> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2899292013 endingPage "272" @default.
- W2899292013 startingPage "249" @default.
- W2899292013 abstract "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." @default.
- W2899292013 created "2018-11-09" @default.
- W2899292013 creator A5010808381 @default.
- W2899292013 creator A5018781402 @default.
- W2899292013 creator A5022426737 @default.
- W2899292013 creator A5055476405 @default.
- W2899292013 creator A5059188790 @default.
- W2899292013 creator A5071110142 @default.
- W2899292013 creator A5078330103 @default.
- W2899292013 date "2018-01-01" @default.
- W2899292013 modified "2023-09-23" @default.
- W2899292013 title "A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods" @default.
- W2899292013 cites W116345983 @default.
- W2899292013 cites W13765794 @default.
- W2899292013 cites W1670932443 @default.
- W2899292013 cites W172265393 @default.
- W2899292013 cites W1916257639 @default.
- W2899292013 cites W1973938051 @default.
- W2899292013 cites W1996832037 @default.
- W2899292013 cites W2072764742 @default.
- W2899292013 cites W2095938258 @default.
- W2899292013 cites W2097718262 @default.
- W2899292013 cites W2102326401 @default.
- W2899292013 cites W2119696713 @default.
- W2899292013 cites W2150189917 @default.
- W2899292013 cites W2163743319 @default.
- W2899292013 cites W2263917381 @default.
- W2899292013 cites W2489671462 @default.
- W2899292013 cites W2490224643 @default.
- W2899292013 cites W2499596435 @default.
- W2899292013 cites W2524839944 @default.
- W2899292013 cites W2528081193 @default.
- W2899292013 cites W2578360098 @default.
- W2899292013 cites W2594893355 @default.
- W2899292013 cites W2622213173 @default.
- W2899292013 cites W2738290714 @default.
- W2899292013 cites W2759501311 @default.
- W2899292013 cites W2760376440 @default.
- W2899292013 cites W2765527199 @default.
- W2899292013 cites W2801429964 @default.
- W2899292013 cites W3141218678 @default.
- W2899292013 cites W4214763668 @default.
- W2899292013 cites W4242926184 @default.
- W2899292013 doi "https://doi.org/10.1007/978-3-030-03427-6_20" @default.
- W2899292013 hasPublicationYear "2018" @default.
- W2899292013 type Work @default.
- W2899292013 sameAs 2899292013 @default.
- W2899292013 citedByCount "6" @default.
- W2899292013 countsByYear W28992920132018 @default.
- W2899292013 countsByYear W28992920132021 @default.
- W2899292013 countsByYear W28992920132022 @default.
- W2899292013 crossrefType "book-chapter" @default.
- W2899292013 hasAuthorship W2899292013A5010808381 @default.
- W2899292013 hasAuthorship W2899292013A5018781402 @default.
- W2899292013 hasAuthorship W2899292013A5022426737 @default.
- W2899292013 hasAuthorship W2899292013A5055476405 @default.
- W2899292013 hasAuthorship W2899292013A5059188790 @default.
- W2899292013 hasAuthorship W2899292013A5071110142 @default.
- W2899292013 hasAuthorship W2899292013A5078330103 @default.
- W2899292013 hasConcept C115903868 @default.
- W2899292013 hasConcept C199360897 @default.
- W2899292013 hasConcept C41008148 @default.
- W2899292013 hasConcept C75606506 @default.
- W2899292013 hasConceptScore W2899292013C115903868 @default.
- W2899292013 hasConceptScore W2899292013C199360897 @default.
- W2899292013 hasConceptScore W2899292013C41008148 @default.
- W2899292013 hasConceptScore W2899292013C75606506 @default.
- W2899292013 hasLocation W28992920131 @default.
- W2899292013 hasOpenAccess W2899292013 @default.
- W2899292013 hasPrimaryLocation W28992920131 @default.
- W2899292013 hasRelatedWork W1577002526 @default.
- W2899292013 hasRelatedWork W1583364777 @default.
- W2899292013 hasRelatedWork W1966978306 @default.
- W2899292013 hasRelatedWork W2121507724 @default.
- W2899292013 hasRelatedWork W2121953666 @default.
- W2899292013 hasRelatedWork W2135396778 @default.
- W2899292013 hasRelatedWork W2283267494 @default.
- W2899292013 hasRelatedWork W27605384 @default.
- W2899292013 hasRelatedWork W4243252198 @default.
- W2899292013 hasRelatedWork W63592217 @default.
- W2899292013 isParatext "false" @default.
- W2899292013 isRetracted "false" @default.
- W2899292013 magId "2899292013" @default.
- W2899292013 workType "book-chapter" @default.