Editorial: abstract state machines and high-level system design and analysis

Authors:
Egon Börger
Affiliations:
Dipartimento di Informatica, Università di Pisa, Via F. Buonarroti 2, I-56127 Pisa, Italy
Venue:
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Year:
2005

Citing 3
Cited 2

Evolving algebras 1993: Lipari guide

Specification and validation methods
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis

Superstate identification for state machines using search-based clustering

Proceedings of the 12th annual conference on Genetic and evolutionary computation
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The background and the themes of this ASM-centered special issue of TCS are briefly described.