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

Xavier Devroey

Résultats de recherche: Thèse externe › Mémoire de master

162 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.

Computer Science