Action systems in incremental and aspect-oriented modeling (Q5138491)
From MaRDI portal
scientific article; zbMATH DE number 7282001
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Action systems in incremental and aspect-oriented modeling |
scientific article; zbMATH DE number 7282001 |
Statements
Action systems in incremental and aspect-oriented modeling (English)
0 references
4 December 2020
0 references
action systems
0 references
aspects
0 references
formal specification
0 references
incremental modeling
0 references
superposition
0 references
TLA
0 references
