Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.

Imen Sayar, Jeanine Souquires

Browse the full RE paper archive.