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, forminga community of researchers with a common interest in this area. This paper uses one of the leaders on the ProCoS initiative, Ernst-Rudiger Olderog, as an example in demonstrating connections within and around the ProCoS research community. This is formalized using the Z notation to make the description more precise, especially with respect to collaborations undertaken through coauthorship of publications and subsequent citations to this research output. Matching visualizations of the relationships are included. The social science concept of a Community of Practice (CoP) isintroduced in this context. Finally, consideration of citation metrics is also included.
| Original language | English |
|---|---|
| Title of host publication | Provably Correct Systems |
| Publisher | Springer |
| Pages | 313-328 |
| ISBN (Electronic) | 978-3-319-48628-4 |
| ISBN (Print) | 978-3-319-48627-7 |
| Publication status | Published - 1 Mar 2017 |
| Event | Ernst-Ruediger Olderog Festschrift - Duration: 9 Jan 2014 → … |
Conference
| Conference | Ernst-Ruediger Olderog Festschrift |
|---|---|
| Period | 9/01/14 → … |