π-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...
| में प्रकाशित: | Software engineering notes. 31, 2 (2006). |
|---|---|
| मुख्य लेखक: | |
| स्वरूप: | लेख |
| भाषा: | English |
| विषय: |