Login / Signup

Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability.

Mert OzkayaChristos Kloukinas
Published in: EUROMICRO-SEAA (2013)
Keyphrases
  • description languages
  • formal analysis
  • description language
  • formal methods
  • agent model
  • semantic web services
  • ban logic
  • machine learning
  • software architecture