Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies. Software and System Modeling Based on a Unified Formal Semantics. In Manfred Broy, Bernhard Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings. Volume 1526 of Lecture Notes in Computer Science, pages 43-68, Springer, 1997.
Abstract is missing.