Software and System Modeling Based on a Unified Formal Semantics

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.

@inproceedings{BroyHPRS97,
  title = {Software and System Modeling Based on a Unified Formal Semantics},
  author = {Manfred Broy and Franz Huber and Barbara Paech and Bernhard Rumpe and Katharina Spies},
  year = {1997},
  tags = {semantics, rule-based, formal semantics, modeling},
  researchr = {https://researchr.org/publication/BroyHPRS97},
  cites = {0},
  citedby = {0},
  pages = {43-68},
  booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop RTSE  97, Bernried, Germany, October 12-14, 1997, Proceedings},
  editor = {Manfred Broy and Bernhard Rumpe},
  volume = {1526},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65309-0},
}