Automated conversion from requirements documentation to an object-oriented formal specification language.

Beum-Seuk Lee, Barrett R. Bryant

Browse the full SAC paper archive.