OASIS: An Object-Oriented Specification Language.

Oscar Pastor, Fiona Hayes, Stephen Bear

Browse the full CaiSE paper archive.