2000 |
8 | | Bernhard Schätz,
Katharina Spies:
10 Years Focus - Lessons learned.
FBT 2000: 111-120 |
1999 |
7 | | Katharina Spies,
Bernhard Schätz:
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999
Herbert Utz Verlag 1999 |
1998 |
6 | | Max Breitling,
Ursula Hinkel,
Katharina Spies:
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.
FBT 1998: 63-74 |
1997 |
5 | | Ursula Hinkel,
Katharina Spies:
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.
FBT 1997: 251-261 |
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 |
1996 |
3 | | Manfred Broy,
Stephan Merz,
Katharina Spies:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Springer 1996 |
2 | | Franz Huber,
Bernhard Schätz,
Alexander Schmidt,
Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification.
FTRTFT 1996: 467-470 |
1994 |
1 | | Manfred Broy,
Stephan Merz,
Katharina Spies:
The RPC-Memory Case Study: A Synopsis.
Formal Systems Specification 1994: 5-20 |