Languages for formalizing, visualizing and verifying software architectures (Q4329555)
From MaRDI portal
scientific article; zbMATH DE number 1736401
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Languages for formalizing, visualizing and verifying software architectures |
scientific article; zbMATH DE number 1736401 |
Statements
Languages for formalizing, visualizing and verifying software architectures (English)
0 references
1 May 2002
0 references
formalization
0 references
visualization
0 references
verification
0 references
