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

Hartmut Ehrig, Werner Fey. Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. In Wilfried Brauer, editor, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Volume 50 of Informatik-Fachberichte, pages 255-269, Springer, 1981.

Abstract

Abstract is missing.