The Origins and the Development of the ASM Method for High Level System Design and Analysis

Börger, E. (2002). The Origins and the Development of the ASM Method for High Level System Design and Analysis.

Type

Unclassified

Intellectual base

Unclassified

Year

2002

DOI

10.3217/jucs-008-01-0002

Link

https://doi.org/10.3217/jucs-008-01-0002

Cited by

1 citation across 1 artifact.

Domain-specific

• Abstract state machine
  • … derived functions, state as a structure, rule syntax and guards, update locations and values, consistency policy, initialization, run and termination semantics and refinement relation are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:67709204290f · see in the full table