Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.

Hartmut Ehrig, Werner Fey

Browse the full GI paper archive.