Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.

Bastian Dlle, Walter Dosch

Browse the full APSEC paper archive.