| 期刊全称 | Abstract State Machines - Theory and Applications | | 期刊简称 | International Worksh | | 影响因子2023 | Yuri Gurevich,Philipp W. Kutter,Lothar Thiele | | 视频video | | | 发行地址 | Includes supplementary material: | | 学科分类 | Lecture Notes in Computer Science | | 图书封面 |  | | 影响因子 | The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the | | Pindex | Conference proceedings 2000 |
The information of publication is updating
|
|
发表于 2025-3-21 19:07:44
