pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
(xsd:string)
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
(xsd:string)