Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications

Résultats de recherche: Thèse externeMémoire de master

125 Téléchargements (Pure)

Empreinte digitale Examiner les sujets de recherche de « Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications ». Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux