TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

2005

Andreas Fleischmann, Katharina Neumeyer, Katharina Spies Teamtraining für Software Ingenieure In Software Engineering im Unterricht der Hochschulen, Aachen , K.-P. Löhr, H. Lichter (Eds.), pp. 26-40, volume 2005, dpunkt.verlag, 2005 Konferenzbeitrag   Details | Bibtex-Eintrag | Link

2003

2000

1999

Thomas Stauner Specification of (parts of) a Lip-Sync Protocol Using HyCharts In FBT'99, 9. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Katharina Spies, Bernhard Schätz (Eds.), Herbert Utz Verlag Wissenschaft, 1999 Konferenzbeitrag   Details | Bibtex-Eintrag

Thomas Stauner, Klaus Schneider, Michaela Huhn Translating a Visual Description Technique to a Synchronous Language: From DiCharts to PURR In FBT'99, 9. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Katharina Spies, Bernhard Schätz (Eds.), Herbert Utz Verlag Wissenschaft, 1999 Konferenzbeitrag   Details | Bibtex-Eintrag

1998

Katharina Spies Eine Methode zur formalen Modellierung von Betriebssystemkonzepten number TUM-I9809, Technische Universität München, 1998 Dissertation   Details | Bibtex-Eintrag

Max Breitling, Ursula Hinkel, Katharina Spies Formale Entwicklung verteilter, reaktiver Systeme mit FOCUS In Formale Beschreibungstechniken für Verteilte Systeme, 8. GI/ITG Fachgespräch, Hartmut König, Peter Langendörfer (Eds.), pp. 63 - 74, Shaker Verlag, Aachen, 1998 Konferenzbeitrag   Details | Bibtex-Eintrag

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies Software and System Modeling Based on a Unified Formal Semantics In Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, Benried, Germany, Manfred Broy, Bernhard Rumpe (Eds.), pp. 43 - 68, number LNCS 1526, Springer Verlag, 1998 Konferenzbeitrag   Details | Bibtex-Eintrag

1997

Ursula Hinkel, Katharina Spies Spezifikationsmethodik für mobile, dynamische FOCUS-Netze GMD Verlag (St.Augustin), 1997 Veröffentlichung   Details | Bibtex-Eintrag

Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies Summary of Case Studies in Focus - Part II Technical Report, number TUM-I9740, Technische Universität München, 1997 Technischer Bericht   Details | Bibtex-Eintrag

Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies The Steamboiler Specification - A Case Study in Focus Technical Report, number TUM-I9714, Technische Universität München, 1997 Technischer Bericht   Details | Bibtex-Eintrag

1996

Ursula Hinkel, Katharina Spies Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen Technical Report, number TUM-I9639, Technische Universität München, 1996 Technischer Bericht   Details | Bibtex-Eintrag

Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies AutoFocus - A Tool for Distributed Systems Specification In Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 467 - 470, number LNCS 1135, Springer Verlag, 1996 Konferenzbeitrag   Details | Bibtex-Eintrag

Franz Huber, Bernhard Schätz, Katharina Spies AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme In Formale Beschreibungstechniken für verteilte Systeme, Ulrich Herzog (Eds.), Universität Erlangen-Nürnberg, 1996 Konferenzbeitrag   Details | Bibtex-Eintrag

Manfred Broy, Stephan Merz, Katharina Spies (eds.) The RPC Memory Case Study: A Synopsis M. Broy, S. Merz, K. Spies (Eds.), pp. 1 - 4, number LNCS 1169, Springer, 1996 Buchbeitrag   Details | Bibtex-Eintrag

1995

Bernhard Schätz, Katharina Spies Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik Technical Report, number TUM-I9529, Technische Universität München, 1995 Technischer Bericht   Details | Bibtex-Eintrag

1994

Katharina Spies Funktionale Spezifikation eines Kommunikationsprotokolls Technical Report, number TUM-I9414, Technische Universität München, 1994 Technischer Bericht   Details | Bibtex-Eintrag

Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz, Katharina Spies, Ketil Stølen Summary of Case Studies in FOCUS - a Design Method for Distributed Systems Technical Report, number TUM-I9423, Technische Universität München, 1994 Technischer Bericht   Details | Bibtex-Eintrag