Communities and Ancestors Associated with Egon Börger and ASM

2021
OriginalPaper
Chapter

Published in:

Author: Jonathan P. Bowen
Published in: Logic, Computation and Rigorous Methods
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

This chapter celebrates the 75th birthday of Egon Börger, a prominent figure in the development of Abstract State Machines (ASM) for formal methods. It traces the historical evolution of ASM, from its inception by Yuri Gurevich to its current state, and explores the community that has grown around this approach. The author, who has been involved with Börger and the ASM community since the 1990s, shares personal experiences and insights into the development of ASM and its integration with other formal methods. The chapter also delves into the academic lineage of Egon Börger, highlighting the influential figures who have shaped the field of computer science and formal methods. Additionally, it discusses the concept of Communities of Practice (CoP) and how the ASM community exemplifies this concept, with a focus on the key figures who have contributed to its success.

AI Generated

This summary of the content was generated with the help of AI.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter Semantic Splitting of Conditional Belief Bases

next chapter Language and Communication Problems in Formalization: A Natural Language Approach

Metadata
Literature

Title: Communities and Ancestors Associated with Egon Börger and ASM
Author: Jonathan P. Bowen
Publisher: Springer International Publishing
Book: Logic, Computation and Rigorous Methods
Print ISBN: 978-3-030-76019-9

Electronic ISBN: 978-3-030-76020-5

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-76020-5_6

This content is only visible if you are logged in and have the appropriate permissions.