A stream-based mathematical model for distributed information processing systems - SysLab system model

Preprint English OPEN
Klein, Cornel; Rumpe, Bernhard; Broy, Manfred;
  • Subject: Computer Science - Software Engineering

In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the semantics of all used descriptio... View more
Share - Bookmark