Katharina Spies

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Software Architecture

First Order Logic

Modelling Language

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Software and System Modeling Based on a Unified Formal Semantics. CoRR (2014)
Bernhard Schätz, Katharina Spies
10 Years Focus - Lessons learned. FBT (2000)
Max Breitling, Ursula Hinkel, Katharina Spies
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. FBT (1998)
Ursula Hinkel, Katharina Spies
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. FBT (1997)
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)
Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
AutoFocus: A Tool for Distributed Systems Specification. FTRTFT (1996)
Manfred Broy, Stephan Merz, Katharina Spies
The RPC-Memory Case Study: A Synopsis. Formal Systems Specification (1994)