Login / Signup

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

Radu MateescuFlá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