Katharina Spies (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies: Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68

2 Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies: AutoFocus: A Tool for Distributed Systems Specification. FTRTFT 1996: 467-470

Selection of 2 from 8 records - Katharina Spies has 9 coauthors

4		Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies: Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68
2		Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies: AutoFocus: A Tool for Distributed Systems Specification. FTRTFT 1996: 467-470