Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea.

Fbio Levy Siqueira, Thiago C. de Sousa, Paulo Srgio Muniz Silva

Browse the full ICSE paper archive.