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

Xavier Devroey

Research output: External Thesis › Master's Thesis

179 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications'. Together they form a unique fingerprint.

INIS

Keyphrases

Computer Science

Engineering