Provably Correct Systems: Community, connections, and citations
Conference item
Bowen, J. (2014). Provably Correct Systems: Community, connections, and citations. Ernst-Ruediger Olderog Festschrift. Oldenburg, Germany Sep 2014 London South Bank University.
Authors | Bowen, J. |
---|---|
Abstract | The original European ESPRIT ProCoS I and II projects on Provably Correct Systems} took place around a quarter of a century ago. Since then the legacy of the initiative has spawned many researchers with careers in formal methods. One of the leaders on the ProCoS projects was Ernst-R\"udiger Olderog. This paper charts the influence of the ProCoS projects and the subsequent ProCoS-WG Working Group, using Prof. Dr Olderog as an example. The community of researchers surrounding an initiative such as ProCoS is considered in the context of the social science concept of a Community of Practice (CoP) and the collaborations undertaken through coauthorship of and citations to publications. Consideration of citation metrics is also included. |
Year | 2014 |
Publisher | London South Bank University |
File | File Access Level Open |
Publication dates | |
01 Sep 2014 | |
Publication process dates | |
Deposited | 20 Dec 2016 |
https://openresearch.lsbu.ac.uk/item/877w1
Download files
81
total views184
total downloads0
views this month1
downloads this month