1. To achieve its aims, the project team developed semantics and algorithms for the architecture analysis and design language (AADL) in order to improve V&V.

Pour atteindre ses objectifs, l'équipe de projet a développé des outils sémantiques et des algorithmes pour le langage d'analyse et de conception d'architecture (AADL) afin d'améliorer la V&V.