Aspect-Oriented Development of Trustworthy Component-based Systems (Q2787440)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Aspect-Oriented Development of Trustworthy Component-based Systems |
scientific article |
Statements
Aspect-Oriented Development of Trustworthy Component-based Systems (English)
0 references
25 February 2016
0 references
component-based aspect-oriented design
0 references
correctness by construction
0 references
behavioural convergence
0 references
CSP
0 references
