Login / Signup
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
Radu Mateescu
Flávio Oquendo
Published in:
ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
</>
software architecture
artificial intelligence
data analysis
structural analysis
databases
machine learning
software engineering
distributed systems
software systems
formal language