|
|
Publications, Part 3: 1994 - 2003
We also offer:
For download:
Books:
-
[FPR01] M. Fontoura, W. Pree, B. Rumpe.
The UML Profile for Framework Architectures
Addison-Wesley. 2001.
-
[EFM+01] A. Evans, R. France, A. Moreira, B. Rumpe.
Practical UML-Based Rigorous Development Methods -
Countering or Integrating the eXtremists
Workshop of the pUML-Group held together with the UML'2001
October 1st, 2001 in Toronto, Canada
GI. Lecture Notes in Informatics. P-7. 2001.
-
[BR01] M. Broy, B. Rumpe.
Übungen zur Einführung in die Informatik
Strukturierte Aufgabensammlung mit Musterlösungen
2. überarbeitete und erweiterte Auflage
Springer Verlag. 2001.
-
[BR00] M. Broy, B. Rumpe.
Übungen zur Einführung in die Informatik - Strukturierte Aufgabensammlung mit Musterlösungen.
Naucnii Mir Verlag. Dialog, MIFI.
Moskva, 2000.
(Russische Ausgabe des gleichnamigen deutschen Buchs)
-
[BEP+00] M. Broy, H. Ehler, B. Paech, B. Rumpe, V. Thurner.
Software Engineering. Schlüssel zu Prozeßbeherrschung und Informationsmanagement.
TCW-report 24. TCW Transfer Centrum. ISBN 3-934155-52-9, 2000.
-
[FR99] R. France, B. Rumpe.
<<UML>>'99 - The Unified Modeling Language. Beyond the Standard.
Proceedings of the Second International Conference
in Fort Collins, Colorado, USA, October 28-30, 1999.
Springer Verlag Berlin, LNCS 1723.
-
[KRS99] H. Kilov, B. Rumpe, I. Simmonds.
Behavioral specifications of businesses and systems.
Kluwer Academic Publishers, 1999.
-
[BR97b] M. Broy, B. Rumpe.
Requirements Targeting Software and Systems Engineering
(International Workshop RTSE'97, Proceedings)
Lecture Notes in Computer Science 1526. Springer Verlag. 1998.
-
[BR97] M. Broy, B. Rumpe
Übungen zur Einführung in die Informatik -
Strukturierte Aufgabensammlung mit Musterlösungen
Springer Verlag Berlin Heidelberg New York, ISBN 3-540-63549-1. 1997
-
[Rum96] B. Rumpe.
Formale Methodik des Entwurfs verteilter objektorientierter
Systeme
Herbert Utz Verlag Wissenschaft, ISBN 3-89675-149-2.
Dissertation Technische Universität München. 1996
Guest Editorials:
-
[GLR02] M. Glinz, G. Müller-Luschnat, B. Rumpe.
Modellierung 2002. Guest Editorial.
In: Informatik in Forschung und Entwicklung (IFE), Band 18, Nummer 3,
Springer Verlag, 2004.
-
[MR00] T.S.E. Maibaum, B. Rumpe.
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'-an ICSE'98 Workshop)
Guest Editorial, Volume 7, Issue 1, Kluwer Academic Publishers, March 2000.
Journal articles:
-
[BPR03] J. Botaschanjan, M. Pister, B. Rumpe.
Testing Agile Requirements Models.
In: Proceedings of the First Hangzhou-Lübeck Conference on Software Engineering (HL-SE 03)
C. Chen, W. Dosch, Y. Qian, H. Lin (Eds.)
Hangzhou, China, Nov. 1-2, 2003
-
[RS03] B. Rumpe, P. Scholz.
Scaling the Management of Extreme Programming Projects
In: Projects & Profits. Special Issue on Management of Extreme Programming Projects, Vol. III (8), pp. 11-18. ICFAI-Press, Hyderabat, August 2003
-
[RS01a] B. Rumpe, R. Sandner.
UML - Unified Modeling Language im Einsatz. Teile 1-2.
Hintergrund und Notation der Standard UML.
In: at - Automatisierungstechnik, Reihe Theorie für den Anwender, Band 49, Heft 9 und 10. 2001
-
[RS01b] B. Rumpe, R. Sandner.
UML - Unified Modeling Language im Einsatz. Teil 3.
UML-RT für echtzeitkritische und eingebettete Systeme
In: at - Automatisierungstechnik, Reihe Theorie für den Anwender, Band 49, Heft 11. 2001
-
[BBH+01] M. Broy, R. Breu, F. Huber, I. Krüger, B. Rumpe, W. Schwerin.
Methodik, Sprachen und Grundlagen des Software Engineering (Abschlußbericht des Forschungslabors Syslab 10/94-9/99)
In: Informatik: Forschung und Entwicklung, Band 16, Heft 1. pp. 53-59, Springer Verlag. 2001.
-
[FEL+98] R. France, A. Evans, K. Lano, B. Rumpe.
The UML as a formal modeling notation
In: Computer Standards & Interfaces. Volume 19, p. 325-334. 1998.
-
[BGH+98] R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin.
Exemplary and Complete Object Interaction Descriptions
In: Computer Standards & Interfaces. Volume 19, p. 335-345. 1998.
-
[RS97] B. Rumpe, A. Schürr.
Second GROOM-Workshop on Syntax and Semantics of object-oriented Methods.
In: OBJEKTspektrum. SIGS Publications. 1997.
Edited proceedings:
-
[FFJR03] E. Fernandez, R. France, J. Jürjens, B. Rumpe.
TUM-I0323
Critical Systems Development with UML - Proceedings of the UML 2003
Workshop
Technical Report TUM-I0323, TU Munich, 2003.
-
[JCF+02] J. Jürjens, M. Cengarle, E. Fernandez, B. Rumpe, R. Sandnder.
TUM-I0208
Critical Systems Development with UML - Proceedings of the "UML'2002" Workshop
Technical Report TUM-I0208, TU Munich, 2002.
-
[RKR+00] G. Reggio, A. Knapp, B. Rumpe, B. Selic, R. Wieringa.
LMU-0006
UML'2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions
Technical Report LMU-0006,
Ludwigs-Maximilians-Universität München. 2000.
-
[KRS98] H. Kilov, B. Rumpe, I. Simmonds.
TUM-I9820
Seventh OOPSLA Workshop on Behavioral
Semantics of OO Business and System Specifications
Technical Report TUM-I9820, TU Munich, 1998.
-
[KR98] H. Kilov, B. Rumpe.
TUM-I9813
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
Technical Report TUM-I9813, TU Munich, 1998.
-
[BR98] M. Broy, B. Rumpe.
TUM-I9807
RTSE'97 - Workshop on Requirements Targeting Software Engineering
Technical Report TUM-I9807, TU Munich, 1998
(Springer LNCS 1526 contains revised versions of this articles)
-
[BCM+98] M. Broy, D. Coleman, T.S.E. Maibaum, B. Rumpe.
TUM-I9803
ICSE'98 Workshop on Precise Semantics
for Modeling Techniques (PSMT)
Technical Report TUM-I9803, TU Munich, 1998.
-
[KRS97] H. Kilov, B. Rumpe, I. Simmonds.
TUM-I9737
OOPSLA'97 Workshop on Object-Oriented
Behavioral Semantics
Technical Report TUM-I9737, TU Munich, 1997.
-
[KR97] H. Kilov, B. Rumpe.
TUM-I9725
ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques.
Technical Report TUM-I9725, TU Munich, 1997.
Papers and Summaries:
-
[Rum03] B.Rumpe.
Model-Based Testing of Object-Oriented Systems
In: Formal Methods for Components and Objects
F. de Boer, M.Bonsangue, S. Graf, W.-P. de Roever (eds.)
International Symposium, FMCO 2002. Leiden, November 2002, Revised Lectures. LNCS 2852,
Springer Verlag, 2003
-
[BRW03] D. Bettencourt da Cruz, B. Rumpe, G. Wimmel.
Retrofitting
Security into a Web-Based Information System.
In: Web Engineering. International
Conference ICWE 2003. Oviedo, Spain, Proceedings LNCS 2722,
Springer Verlag, July 2003
-
[Rum03b] B. Rumpe.
E-Business Experiences with Online Auctions.
In: Managing E-Commerce and Mobile Computing Technologies
Julie Mariga (Ed.)
IRM Press, 2003
-
[PR03] J. Philipps, B. Rumpe.
Refactoring of Programs and Specifications
In: Practical foundations of business and system specifications. H.Kilov and K.Baclawski (eds.), pg. 281-297,
Kluwer Academic Publishers, 2003
-
[Rum02] B. Rumpe.
Agile Modeling in Lightweight Projects
In: Monterey 2002.Radical Innovations of Software and Systems Engineering in the Future.
Workshop Proceedings. Venezia, Oct. 2002
M. Wirsing, S. Balsamo, A. Knapp(eds.)
Universita Ca Foscari di Venezia. TR CS-2002-10. 2002.
-
[PFR02] W. Pree, M. Fontoura, B. Rumpe.
Product Line Annotations with UML-F
In: Software Product Lines - Second International Conference, SPLC 2, San Diego.
G.J. Chastek (ed.), LNCS 2379, Springer Verlag. 2002.
-
[TFR02] D. Turk, R. France, B. Rumpe.
Limitations of Agile Software Processes
In: Third International Conference on Extreme Programming
and Flexible Processes in Software Engineering, XP2002,
May 26-30, Alghero, Italy, pg. 43-46, 2002.
-
[RS02] B. Rumpe, P. Scholz.
A manager's view on large scale XP projects
In: Third International Conference on Extreme Programming
and Flexible Processes in Software Engineering, XP2002,
May 26-30, Alghero, Italy, pg. 158-159, 2002.
-
[RS02b] B. Rumpe, A. Schröder.
Quantitative Survey on Extreme Programming Projects
In: Third International Conference on Extreme Programming
and Flexible Processes in Software Engineering, XP2002,
May 26-30, Alghero, Italy, pg. 95-100, 2002.
(short version of TUM-I0110)
-
[CKM+02] S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills.
The Amsterdam Manifesto on OCL
In: Object Modeling with the OCL, pp. 115-149
Tony Clark, Jos Warmer (eds.)
LNCS 2263, Springer Verlag, 2002
-
[Rum02b] B. Rumpe.
Java-OCL Based on New Presentation of the OCL-Syntax
In: Object Modeling with the OCL, pp. 189-212
Tony Clark, Jos Warmer (eds.)
LNCS 2263, Springer Verlag, 2002
-
[Rum02c] B. Rumpe.
Executable Modeling with UML. A Vision
or a Nightmare?
In: Issues & Trends of Information Technology Management
in Contemporary Associations, Seattle. Idea Group Publishing,
Hershey, London, pp. 697-701. 2002.
-
[Rum02d] B. Rumpe.
Online Auctions (lessons learned from strategic E-Business consulting)
In: Issues & Trends of Information Technology Management
in Contemporary Associations, Seattle. Idea Group Publishing,
Hershey, London, pp. 682-686. 2002.
-
[PR01] J. Philipps, B. Rumpe.
Roots of Refactoring
In: Tenth OOPSLA Workshop on Behavioral Semantics.
Tampa Bay, Florida, USA, October 15, 2001.
Kenneth Baclavski, Haim Kilov (eds.)
Northeastern University, 2001
-
[FPR01b] M. Fontoura, W. Pree, B. Rumpe.
The WebShop E-Commerce Framework
In: International Conference on Internet Computing
CSREA press, 2001.
-
[JR01] C. Jacobi, B. Rumpe.
Hierarchical XP
In: Extreme Programming Examined.
G. Succi, M. Marchesi (eds.)
Addison-Wesley, 2001.
-
[RW01] B. Rumpe, G. Wimmel.
A Framework for Realtime Online Auctions
In: Managing Information Technology in a Global Economy.
Proceedings of IRMA International Conference, Toronto
pp. 908--912, Idea Group Publishing, 2001
-
[Rum01] B. Rumpe.
Extreme Programming -- Back to Basics?
In: Modellierung 2001, Workshop der Gesellschaft für Informatik e.V.(GI)
28.-30.3.2001, Bad Lippspringe. pp. 121-131
G. Engels, A. Oberweis, A. Zündorf (eds.)
GI-Edition, Lecture Notes in Informatics
-
[FPR00] M. Fontoura, W. Pree, B. Rumpe.
UML-F: A Modeling Language for Object-Oriented Frameworks
In: Proceedings of ECOOP 2000-Object-Oriented Programming Conference, pp.63-83
Elisa Bertino (eds.)
LNCS 1850, Springer Verlag, 2000.
-
[KER99] S. Kent, A. Evans, B. Rumpe.
UML Semantics FAQ
In: Object-Oriented Technology, ECOOP'99 Workshop Reader
A. Moreira, S. Demeyer (eds.)
LNCS 1743, Springer Verlag, 1999.
-
[CKM+99] S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills.
Defining UML Family
Members Using Prefaces
In: Technology of Object-Oriented Languages and Systems, TOOLS'99 Pacific
Ch. Mingins, B. Meyer (eds.)
IEEE Computer Society, 1999.
-
[RSR+99] B. Rumpe, M. Schoenmakers, A. Radermacher, A. Schürr
UML + ROOM as a Standard ADL?
In: Engineering of Complex Computer Systems, ICECCS'99 Proceedings
F. Titsworth (eds.)
IEEE Computer Society, 1999.
-
[ELF+99c] A. Evans, K. Lano, R. France, B. Rumpe
Meta-Modeling Semantics of UML
In: Behavioral Specifications of Businesses and Systems
H. Kilov, B. Rumpe, I. Simmonds (eds.)
Kluver Academic Publisher, 1999
-
[PR99] J. Philipps, B. Rumpe
Refinement of Pipe-and-Filter Architectures
In: FM'99 - Formal Methods, Proceedings of the World Congress on Formal
Methods in the Development of Computing System. LNCS 1708, pages 96-115
J. M. Wing, J. Woodcock, J. Davies (eds.)
Springer, 1999
-
[EFL+99] A. Evans, R. France, K. Lano, B. Rumpe
The UML as a Formal Modeling Notation
In: The Unified Modeling Language - Workshop UML'98: Beyond the Notation
Jean Bezivin, Pierre-Alain Muller (eds.)
Springer Verlag Berlin, LNCS 1618, 1999.
-
[HRR99] F. Huber, O. Rabe, B. Rumpe
FRISCO OEF - Dokument-basiertes
Editor Framework
In: Erfahrungen mit Java. Projekte aus Industrie und Hochschule
Ed: Silvano Maffeis, Fridtjof Toenniessen, Christian Zeidler
d-punkt Verlag, Heidelberg, 1999.
-
[KR98] H. Kilov, B. Rumpe
Second ECOOP Workshop on Precise
Behavioral Semantics (with an Emphasis on OO Business Specifications)
In: Object-Oriented Technology - ECOOP'98 Workshop Reader
S. Demeyer, J. Bosch (eds.)
Springer Verlag Berlin, LNCS 1543, 1998.
-
[EBF+98] A. Evans, J-M. Bruel, R. France, K. Lano, B. Rumpe.
Making UML Precise.
In: OOPSLA'98 Workshop on ``Formalizing UML. Why and How?''
Vancouver, Canada. October 1998.
-
[BHP+97] M. Broy, F. Huber, B. Paech, B. Rumpe, K. Spies.
Software and System Modeling Based on a Unified Formal Semantics.
In: Requirements Targeting Software and Systems Engineering.
International Workshop RTSE'97. Manfred Broy, Bernhard Rumpe (Eds.).
Bernried, Germany, October 1997.
LNCS 1526, Springer Verlag.
-
[Rum97] B. Rumpe
Formale Methodik des Entwurfs
verteilter objektorientierter Systeme
In: Ausgezeichnete Informatikdissertationen 1997
B. G. Teubner Stuttgart
-
[HRR98] F. Huber, A. Rausch, B. Rumpe
Modeling Dynamic Component Interfaces
In: TOOLS 26, Technology of Object-Oriented Languages and Systems
M. Singh, B. Meyer, J. Gil, R. Mitchell (eds.)
IEEE Computer Society. 1998.
-
[Rum98] B. Rumpe
A Note on Semantics (with an Emphasis on
UML)
In: Second ECOOP Workshop on Precise Behavioral Semantics
Haim Kilov, Bernhard Rumpe (eds.)
Technische Universität München, TUM-I9813
-
[EFL+98] A. Evans, R. France, K. Lano, B. Rumpe
Developing the UML as a Formal Modelling Notation
In: UML'98 Beyond the notation. International Workshop Mulhouse France.
Pierre-Alain Muller, Jean Bezivin (eds.)
Ecole Superieure Mulhouse, Universite de Haute-Alsace. 1998.
-
[BCM+98b] M. Broy, D. Coleman, T.S.E. Maibaum, B. Rumpe
PSMT -- ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques
In: Proceedings of International Conference on Software Engineerig (ICSE'98) Addendum
IEEE Computer Society, 1998.
-
[BGH+97] R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin.
Towards a Precise Semantics for Object-Oriented Modeling Techniques.
In: Object-Oriented Technology, ECOOP'97 Workshop Reader. Jan Bosch,
Stuart Mitchell (eds.) Springer Verlag, LNCS 1357, 1997.
-
[PR97] B. Paech, B. Rumpe.
Towards Development of Correct Software
using Views.
In: ROOS project report GR/K67311-2, Proceedings of BCS FACS/EROS ROOM
Workshop, 1997, Andy Evans, Kevin Lano (eds).
-
[FND+98] M. Fuchs, D. Nazareth, D. Daniel, B. Rumpe.
BMW-ROOM An Object-Oriented Method for ASCET.
In: SAE'98, Cobo Center (Detroit, Michigan, USA),
Society of Automotive Engineers, 1998.
-
[KRS98] H. Kilov, B. Rumpe, I. Simmonds
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
In: OOPSLA'98 Addendum, unpublished
-
[BGH+98b] R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin
Systems, Views and Models of UML
In: The Unified Modeling Language, Technical Aspects and Applications
Martin Schader, Axel Korthaus (eds.)
Physica Verlag, Heidelberg. 1998.
-
[KRS98b] H. Kilov, B. Rumpe, I. Simmonds
Object-Oriented Behavioral
Semantics - With an Emphasis on Semantics of Large OO Business Specifications
In: OOPSLA'97 Conference Addendum to the Proceedings
ACM press. 1998.
-
[KR97c] H. Kilov, B. Rumpe
Summary of ECOOP'97 Workshop on Precise Semantics
of Object-Oriented Modeling Techniques
In: Object-Oriented Technology - ECOOP'97 Workshop Reader
J. Bosch, S. Mitchell (eds.)
Springer Verlag Berlin, LNCS 1357, 1997.
-
[PR97b] J. Philipps, B. Rumpe
Refinement of Information Flow Architectures
In: ICFEM'97 Proceedings, Hiroshima. Japan., M. Hinchey, IEEE CS Press. 1997.
-
[BGH+97b] R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin
Towards a Precise Semantics for Object-Oriented Modeling Techniques
In: Proceedings ECOOP'97 Workshop on Precise Semantics for Object-Oriented
Modeling Techniques, Editors: Haim Kilov, Bernhard Rumpe, TUM-I9725. TU Munich, 1997.
-
[BGH+97c] R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin
Exemplary and Complete Object Interaction Descriptions
In: Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics,
Haim Kilov, Bernhard Rumpe, Ian Simmonds (eds.), TUM-I9737. TU Munich, 1997.
-
[KPR97] C. Klein, C. Prehofer, B. Rumpe
Feature Specification and Refinement with State Transition Diagrams
In: Fourth IEEE Workshop on Feature Interactions in Telecommunications
Networks and Distributed Systems, P. Dini, IOS-Press. 1997.
-
[PR97c] B. Paech, B. Rumpe.
State
Based Service Description
In: FMOODS'97: Formal Methods for Open Object-based Distributed Systems
ed.: John Derrick, Chapman-Hall.
Year: 1997
-
[BHH+97] R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner.
Towards a Formalization of the Unified Modeling Language
In: Proceedings of ECOOP'97 - Object-Oriented Programming, 11th European
Conference, Mehmet Aksit, Satoshi Matsuoka (ed.), Jyväskylä,
Finland, June 1997, Springer Verlag, LNCS 1241.
-
[RK96] B. Rumpe, C. Klein.
Automata Describing Object Behavior.
In: Object-Oriented Behavioral Specifications.
H. Kilov W. Harvey (ed.). p. 265-286. Kluwer Academic Publishers. 1996.
-
[KRB96] C. Klein, B. Rumpe, M. Broy.
A stream-based mathematical model for distributed information processing systems - SysLab system model -.
In: Proceedings of the first International Workshop on Formal Methods
for Open Object-based Distributed Systems. Chapmann & Hall. 1996.
-
[Rum95] B. Rumpe.
Gofer Objekt-System -- Imperativ
Objektorientierte und Funktionale Programmierung in einer Sprache vereint.
In: Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Adalbert Stifter Haus, Alt Reichenau, 11.10.1995. 1995. p. 35-47.
Tiziana Margaria (ed.). Technischer Bericht der Universität Passau, MIP-9519.
-
[Rum96] B. Rumpe.
A Formal Methodology for the Design of Distributed Object-Oriented Systems.
In: POOMA'96 Parallel Object-Oriented Methods and Applications. Santa Fe, 1996.
-
[PR94] B. Paech, B. Rumpe.
A new Concept of Refinement used for
Behaviour Modelling with Automata,
In: FME'94: Industrial Benefit of Formal Methods. Editors: Maurice
Naftalin, Tim Denvir, Miquel Bertran. LNCS 873. Springer-Verlag,
Berlin, 1994.
Technical Reports:
-
[BRW03] D. Bettencourt da Cruz, B. Rumpe, G. Wimmel.
Introducing Security Mechanisms after Initial Development: the RAC Case Study
Technical Report TUM-I0306, TU Munich, 2003.
-
[PRS02] M. Pizka, B. Rumpe, T.Seifert.
Workshop Agile Methodologies Experience
software-kompetenz.de
(Virtuelles Software Engineering Kompetenzzentrum)
Technical Report, ViSEK/014/E, 2002.
-
[RS01] B. Rumpe, A. Schröder.
Quantitative Untersuchung des Extreme Programming Prozesses
software-kompetenz.de 2001.
Technical Report TUM-I0110, TU Munich and ViSEK/006/D, 2001.
-
[HR00] D. Harel, B. Rumpe.
Modeling Languages: Syntax, Semantics and All That Stuff
Technical Report MCS00-16, Weizmann Institute, Rehovot, Israel, 2000.
-
[BBH+00] M. Broy, R. Breu, F. Huber, I. Krüger, B. Rumpe, W. Schwerin.
SysLab-Abschlußbericht.
Technical Report TUM-I0008, TU Munich, February 2000.
-
[FPR99] M. Fontura, W. Pree, B. Rumpe.
UML-F: A Modeling Language for Object-Oriented Frameworks
Technical Report TR-613-99, Princeton, 1999.
-
[CKM+99b] S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills.
The Amsterdam Manifesto on OCL
Technical Report TUM-I9925, TU Munich, 1999
(slightly updated in LNCS 2263).
-
[PHK+99] G. Popp, F. Huber, I. Krüger, B. Rumpe, W. Schwerin.
Internet Buchhandel - Eine UML Fallstudie
Technical Report TUM-I9915, TU Munich, 1999
-
[SRS99] T. Stauner, B. Rumpe, P. Scholz.
Hybrid System Model
Technical Report TUM-I9903, TU Munich, 1999.
-
[LHR99] C. Lesny, F. Huber, B. Rumpe.
Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache
Technical Report TUM-I9901, TU Munich, 1999.
-
[HRR98b] F. Huber, A. Rausch, B. Rumpe.
Component Interface Diagrams: Putting Components to Work
Technical Report TUM-I9831, TU Munich, 1998.
-
[RT98] B. Rumpe, V. Thurner.
Refining Business Processes
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
-
[FR98] M. Fahrmair, B. Rumpe.
Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten
Technical Report TUM-I9815, TU Munich, 1998.
-
[PR97] J. Philipps, B. Rumpe.
Stepwise Refinement of Data
Flow Architectures
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
-
[BHH+97b] R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner.
Towards a Formalization of the Unified Modeling Language
Technical Report TUM-I9726, TU Munich, 1997.
-
[GKR96] R. Grosu, C. Klein, B. Rumpe.
Enhancing the SysLab System Model with State.
Technical Report TUM-I9631, TU Munich, 1996.
-
[GKR+96] R. Grosu, C. Klein, B. Rumpe, M. Broy.
State Transition Diagrams.
Technical Report TUM-I9630, TU Munich, 1996.
-
[GR95] R. Grosu, B. Rumpe.
Concurrent Timed Port Automata.
Technical Report TUM-I9533, TU Munich, 1995.
-
[RKB95] B. Rumpe, C. Klein, M. Broy.
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender
Systeme - Syslab Systemmodell.
Technical Report TUM-I9510, TU Munich, 1995.
-
[BR95] K. Bergner, B. Rumpe.
Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.
Technical Report TUM-I9503, TU Munich, 1995.
-
[PR94] B. Paech, B. Rumpe.
A new Concept of Refinement used for Behaviour Modelling with Automata
Technical Report TUM-I9413, TU Munich, 1994.
We also offer:
|