Provably Correct Systems: Community, connections, and citations
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2015
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910090415570944 |
|---|---|
| author | Bowen, Jonathan P. |
| author_facet | Bowen, Jonathan P. |
| contents | 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üdiger 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1509_02908 |
| institution | arXiv |
| publishDate | 2015 |
| record_format | arxiv |
| spellingShingle | Provably Correct Systems: Community, connections, and citations Bowen, Jonathan P. Digital Libraries Logic in Computer Science D.2.4; D.2.8; F.4.1; I.2.4; J.4; K.2 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üdiger 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. |
| title | Provably Correct Systems: Community, connections, and citations |
| topic | Digital Libraries Logic in Computer Science D.2.4; D.2.8; F.4.1; I.2.4; J.4; K.2 |
| url | https://arxiv.org/abs/1509.02908 |