main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Publications from 1992 to 2003

Bernhard Rumpe

Newer publications can be found here.
List of books can be found here.


Books:


Guest Editorials:


Journal articles:


Edited proceedings:


Papers and Summaries:


Technical Reports:

  • TUM-I0306
    Introducing Security Mechanisms after Initial Development: the RAC Case Study
    D. Bettencourt da Cruz, B. Rumpe, G. Wimmel
    2003.

  • ViSEK/014/E
    Workshop Agile Methodologies Experience
    M. Pizka, B. Rumpe, T.Seifert
    software-kompetenz.de (ehem. Virtuelles Software Engineering Kompetenzzentrum)
    2002.

  • TUM-I0110 and ViSEK/006/D
    Quantitative Untersuchung des Extreme Programming Prozesses
    Bernhard Rumpe, Astrid Schröder
    software-kompetenz.de
    2001.

  • The Weizmann Institute of Science, Rehovot, Israel, MCS00-16
    Modeling Languages: Syntax, Semantics and All That Stuff
    David Harel, Bernhard Rumpe
    2000.

  • Princeton University, Computer Science, TR-613-99
    UML-F: A Modeling Language for Object-Oriented Frameworks
    Marcus Fontura, Wolfgang Pree, Bernhard Rumpe
    1999.

  • TUM-I9925
    The Amsterdam Manifesto on OCL
    Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
    1999 (slightly updated in LNCS 2263, see above).

  • TUM-I9915
    Internet Buchhandel - Eine UML Fallstudie
    Gerhard Popp, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
    1999

  • TUM-I9903
    Hybrid System Model
    Thomas Stauner, Bernhard Rumpe, Peter Scholz
    1999.

  • TUM-I9901
    Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache
    Christian Lesny, Franz Huber, Bernhard Rumpe
    1999.

  • TUM-I9831
    Component Interface Diagrams: Putting Components to Work
    Franz Huber, Andreas Rausch, Bernhard Rumpe
    1998.

  • Refining Business Processes
    Bernhard Rumpe, Veronika Thurner
    In: Seventh OOPSLA Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
    Haim Kilov, Bernhard Rumpe, Ian Simmonds (eds.)
    Technical University Munich, TUM-I9820

  • TUM-I9815
    Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten
    Michael Fahrmair, Bernhard Rumpe
    1998.

  • Stepwise Refinement of Data Flow Architectures
    Jan Philipps, Bernhard Rumpe
    In: Software Architectures and Design Patterns in Business Applications
    Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (eds.)
    Technische Universität München, TUM-I9746

  • TUM-I9726
    Towards a Formalization of the Unified Modeling Language
    Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
    1997.

  • TUM-I9631
    Enhancing the SysLab System Model with State.
    Radu Grosu, Cornel Klein, Bernhard Rumpe.
    1996.

  • TUM-I9630
    State Transition Diagrams.
    Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy.
    1996.

  • TUM-I9533
    Concurrent Timed Port Automata.
    Radu Grosu, Bernhard Rumpe.
    1995.

  • TUM-I9510
    Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell -
    Bernhard Rumpe, Cornel Klein, Manfred Broy

  • TUM-I9503
    Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.
    Klaus Bergner, Bernhard Rumpe

  • TUM-I9413
    A new Concept of Refinement used for Behaviour Modelling with Automata
    Barbara Paech, Bernhard Rumpe