The Abstract State Machines Method for High-Level System Design and Analysis
2015
In this paper we give an answer to the often asked question what charac-terizes the Abstract State Machines (ASM) method among the practical and scientifically well-founded systems engineering methods. The question is jus-tified since the ASM method, which has been developed during the 1990’ies