Hierarchical specification and verification of architectural design patterns (Q2324187)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchical specification and verification of architectural design patterns |
scientific article |
Statements
Hierarchical specification and verification of architectural design patterns (English)
0 references
16 September 2019
0 references
architectural design patterns
0 references
interactive theorem proving
0 references
dynamic architectures
0 references
algebraic specification
0 references
configuration traces
0 references
