π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, provides a formal representation of the architecture in terms of its components and connectors, their ports and behaviours, and how they are composed together. In the past...
| Foilsithe in: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Alt |
| Teanga: | English |
| Ábhair: |