Back to Search Start Over

Communities and Ancestors Associated with Egon Börger and ASM

Authors :
Jonathan P. Bowen
Source :
Logic, Computation and Rigorous Methods ISBN: 9783030760199, Logic, Computation and Rigorous Methods
Publication Year :
2021
Publisher :
Springer International Publishing, 2021.

Abstract

In this paper, we discuss the community associated with Abstract State Machines (ASM), especially in the context of a Community of Practice (CoP), a social science concept, considering the development of ASM by its community of researchers and practitioners over time. We also consider the long-term historical context of the advisor tree of Egon Borger, the main promulgator of the ASM approach, which can be considered as multiple interrelated CoPs, distributed over several centuries. This includes notable mathematicians and philosophers among its number with some interesting links between the people involved. Despite most being active well before the inception of computer science, a number have been influential on the field.

Details

ISBN :
978-3-030-76019-9
ISBNs :
9783030760199
Database :
OpenAIRE
Journal :
Logic, Computation and Rigorous Methods ISBN: 9783030760199, Logic, Computation and Rigorous Methods
Accession number :
edsair.doi...........57869078c98649c760757cdbfba6722d
Full Text :
https://doi.org/10.1007/978-3-030-76020-5_6