Teilprojekt A6
Survey
Research
Cooperations
Literature
People
Links
Contact
The Sonderforschungsbereich
SFB 342 Tour
Teilprojekt A6
Distributed Systems Design Methodology
Literature
The literature collection contains books, publications and technical reports of subproject A6, as well as Ph.D. theses and Masters' theses, produced in the context of the subproject.In most cases, clicking a title will supply you with a short abstract and a link leading to the complete document.
All documents are stored using ``gzip'' compressed PostScript-format. Please contact us if you have trouble to access the literature below, or if you are intrerested in a publication of subproject A6 not listed here.
Books
- Specification and Development of Interactive Systems - FOCUS on Streams,
Interfaces and Refinement
Manfred Broy, Ketil Stølen.
Book manuscript, to appear 2000
Formale Beschreibungstechniken für verteilte Systeme
Katharina Spies, Bernhard Schätz (eds.).
9. GI/ITG Fachgespräch,
Herbert Utz-Verlag, ISBN 3-89675-918-3, 1999
Formal
Systems Specification - The RPC-Memory Specification Case Study
Manfred Broy, Stephan Merz, Katharina Spies (eds.)
LNCS 1169, Springer 1996.
Publications
2000
- Modelling Faults of distributed, reactive Systems
Max Breitling.
To appear, FTRTFT 2000.
Diagrams for Dataflow.
Max Breitling, Jan Philipps.
In: Jens Grabowski, Stefan Heymer (Hrsg.): Formale Beschreibungstechniken
für verteilte Systeme,
FBT 2000, Lübeck,
Shaker Verlag, 2000, p. 101-110.
- Step by Step to Histories
Max Breitling, Jan Philipps.
In: Theodor Rus (Ed.): Proceedings of AMAST 2000, Algebraic Methodology and Software Technology
Iowa City, IA, Lecture Notes in Computer Science, LNCS 1816, p. 11-25
© Springer-Verlag 2000.
Algebraic State Machines.
Manfred Broy, Martin Wirsing.
In: Theodor Rus (Ed.): Proceedings of AMAST 2000, Algebraic Methodology
and Software Technology
Iowa City, IA, Lecture
Notes in Computer Science, LNCS 1816, p. 11-25
© Springer-Verlag 2000.
1999
- The quest
for correct systems: Model checking of diagrams and datatypes
Jan Philipps, Oscar Slotosch.
IN: APSEC'99: Asian Pacific Software Engineering Conference, pages 449-458.
IEEE Computer Society, 1999
Integrating
Formal Description Techniques
Bernhard Schätz, Franz Huber.
IN: FM'99 -- Formal Methods, Proceedings of the World Congress on Formal
Methods in the Development of Computing Systems, Volume II, Jeannette M.
Wing, Jim Woodcock, Jim Davies (eds.)
Springer Verlag, 1999
Refinement
of pipe and filter architectures
Jan Philipps, Bernhard Rumpe.
IN: FM'99 -- Formal Methods, Proceedings of the World Congress on Formal
Methods in the Development of Computing Systems, Volume I, Jeannette M.
Wing, Jim Woodcock, Jim Davies (eds.)
Springer Verlag, 1999
Focusing
on Mobility
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter
Scholz, Manfred Broy.
IN: Ralph H. Sprague, Jr. (eds.), Proceedings of the Thirty-Second
Annual Hawaii International Conference on System Sciences
IEEE Computer Society, 1999
AutoFocus
- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Manfred Broy, Franz Huber, Bernhard Schätz.
Informatik Forschung & Entwicklung 14(3):121-134, 1999.
Entwurf
verteilter Systeme im Sonderforschungsbereich 342.
Jan Philipps.
In K. Beiersdörfer, G. Engels, and W. Schäfer, editors, Informatik'99:
29. Jahrestagung der Gesellschaft für Informatik, pages 289-296.
Springer, 1999.
Modellierung
und Beschreibung von Ist-/Soll-Abweichungen
Max Breitling.
In: Katharina Spies and Bernhard Schätz (eds.):
Formale Beschreibungstechniken für verteilte Systeme FBT'99
Springer 1999
1998
- Formale
Entwicklung verteilter, reaktiver Systeme mit FOCUS
Max Breitling, Ursula Hinkel, Katharina Spies .
In: Hartmut König, Peter Langendörfer (eds.):
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG Fachgespräch, pp. 63-74
Shaker Verlag, Aachen, 1998
Entwurf und
Implementierung eingebetteter Systeme.
Jan Philipps and Alexander Schmidt.
In: Formale Beschreibungstechniken für verteilte Systeme,
8. GI/ITG Fachgespräch, 1998.
Shaker Verlag, Aachen, 1998
Visual
Formalisms Revisited
R. Grosu, G. Stefanescu, M. Broy.
IN: L. Lavagno, W. Reisig (eds.), CSD '98, International Conference
on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima
IEEE Computer Society Press, 1998
1997
- Interactive
and Reactive Systems: States, Observations, Experiments, Input, Output,
Nondeterminism, Compositionality, and all That
Manfred Broy.
IN: Ch. Freksa, M. Jantzen, R. Valk (Eds.): Foundations of Computer Science,
Lecture Notes in Computer Science 1337, pp. 279-286. Springer, 1997.
Software
and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina
Spies.
IN: Manfred Broy, Bernhard Rumpe (eds.), Requirements Targeting Software
and Systems Engineering, International Workshop RTSE'97, LNCS 1526
Springer, 1997
Consistent
Graphical Specification of Distributed Systems
Franz Huber, Bernhard Schätz, Geralf Einert.
IN: John Fitzgerald, Cliff B. Jones, Peter Lucas (Eds.):FME '97: 4th
International Symposium of Formal Methods Europe,
Lecture Notes in Computer Science 1313, pp. 122 - 141, Springer, 1997.
Refinement
of Time
Manfred Broy.
IN: M. Bertran, T. Rus (Editors) ``Transformation Based Reactive Systems
Development, Proceedings of ARTS'97'', LNCS 1231, Pages 44-65, Springer
1997.
A
Functional Rephrasing of the Assumption/Commitment Style
Manfred Broy
IN: ``Formal Methods in System Design'', Kluwer, 1997.
Modeling
the Dynamic Behavior of Objects - On Events, Messages and Methods
R. Breu, R. Grosu.
IN: Ch. Lengauer, M. Griebl, S. Gorlatch (eds.), Proceedings of Euro-Par'97,
Third International Euro-Par Conference, Passau, Germany,
LNCS 1300, Springer, 1997
Traces
of I/O Automata in Isabelle/HOLCF
Olaf Müller, Tobias Nipkow
IN: Theory and Practice of Software Development (TAPSOFT'97), LNCS,
, Springer-Verlag.
Theorem
Prover Support for the Refinement of Stream Processing Functions.
Robert Sandner and Olaf Müller.
In: TACAS'97, Proc. of the 3rd International Workshop on Tools and
Algorithms for the Construction and Analysis of Systems, to appear in LNCS,
1997
Spezifikationsmethodik
für mobile, dynamische FOUCS-Netze.
Ursula Hinkel, Katharina Spies.
IN: A. Wolisz, A. Rennoch, I. Schieferdecker (Editors) ``Formale Beschreibungstechniken
für verteilte Systeme'', GMD-Studien (ISSN 0170-8120), GMS - Forschungszentrum
Informationstechnik, Sankt Augustin, 1997
Rapid
Prototyping with AutoFocus
Franz Huber, Bernhard Schätz
IN: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG
Fachgespräch 1997, pp. 343-352, A. Wolisz, I. Schieferdecker, A. Rennoch,
GMD Verlag (St. Augustin).
1996
- Specification
of Dynamic Networks
R. Grosu, K. Stoelen
IN: M. Haveraaen, O. Owe (eds.), Proceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway
University of Oslo, 1996
Towards
a Mathematical Model of a Component and Its Use
Manfred Broy.
IN: Componentware Users Conference 1996, Munich, Proceedings , SIGS
Publications, to appear 1997.
Specification
and Refinement of Networks of Asynchronously Communicating Agents using
the Assumption/Commitment Paradigm
Ketil Stølen, Frank Dederichs, Rainer Weber.
In: Formal Aspects of Computing, Vol 8, Nr. 2, 1996, p. 127-161
Algebraic
Specification of Reactive Systems.
Manfred Broy
In: Algebraic Methodology and Software Technology. 1996. p. 487-503.
M. Nivat, M. Wirsing (ed.). Springer.
AutoFocus
- Ein Werkzeugkonzept zur Beschreibung verteilter Systeme.
Franz Huber, Bernhard Schätz, Katharina Spies.
In: Formale Beschreibungstechniken für verteilte Systeme . 1996.
p. 165-174. Ulrich Herzog, Holger Hermanns (ed.). Universität Erlangen-Nürnberg.
AutoFocus
- A Tool for Distributed Systems Specification.
Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies.
In: Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant
Systems . 1996. p. 467-470. Bengt Jonsson, Joachim Parrow (ed.). LNCS 1135,
Springer Verlag.
A
stream-based mathematical model for distributed information processing
systems - SysLab system model ..
Cornel Klein, Bernhard Rumpe, Manfred Broy.
In: FMOODS'96 Formal Methods for Open Object-based Distributed Systems.
1996. p. 323-338. Elie Naijm Jean-Bernard Stefani (ed.). ENST France Telecom.
Graphical
Development of Consistent System Specifications.
Bernhard Schätz, Heinrich Hußmann, Manfred Broy, .
In: FME'96: Industrial Benefit and Advances In Formal Methods. 1996.
p. 248-267. Marie-Claude Gaudel James Woodcock (ed.). Springer.
Assumption/Commitment
Rules for Dataflow Networks - with an Emphasis on Completeness.
Ketil Stølen, .
In: Programing Languages and Systems - ESOP '96, Lecture Notes in Computer
Science 1058, 1996, p. 356-372, H. R. Nielson (ed.), Springer.
Refinement
Principles Supporting the Transition from Asychronous to Synchronous Communication.
Ketil Stølen.
In: Science of Computer Programming, 1996, Vol. 26(1-3), p. 255-272
Threat
Scenarios as a Means to Formally Develop Secure Systems
Volkmar Lotz
IN: ESORICS 96 - European Symposium on Research in Computer Security,Springer
Verlag, Berlin, LNCS 1146.
Automata
Describing Object Behavior.
B. Rumpe, C. Klein.
In: Specification of Behavioral Semantics in Object-Oriented Information
Modeling. H. Kilov W. Harvey (ed.). Kluwer Academic Publishers. 1996. p.
265-286.
A
Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
Radu Grosu, Ketil Stoelen.
In: AMAST'96. Martin Wirsing (ed.). LNCS 1101, Pages 504-519, 1996..
The
RPC-Memory Specification Problem: A Synopsis.
Manfred Broy, Stephan Merz, Katharina Spies.
IN: ``Formal
Systems Specification - The RPC-Memory Specification Case Study'',
LNCS 1169, Springer 1996.
Using
Relations on Streams to Solve the RPC-Memory Specification Problem
Ketil Stølen
IN: Formal Systems Specification: The RPC-Memory Specification Case
Study, Lecture Notes in Computer Science 1169, pp. 183-211, M. Broy, S.
Merz, K. Spies (eds.), Springer-Verlag, 1996.
A
Functional Solution to the RPC-Memory Specification Problem
Manfred Broy
IN: Formal Systems Specification: The RPC-Memory Specification Case
Study, Lecture Notes in Computer Science 1169, pp. 183-211, M. Broy, S.
Merz, K. Spies (eds.), Springer-Verlag, 1996.
1995
- Development
of a Distributed Min/Max Component,
Max Fuchs, Ketil Stølen.
In: Proc. 3.GI/ITG Workshop, Anwendung formaler Methoden beim Entwurf von Hardwaresystemen. 1995. p. 126-135. Werner Grass, Matthias Mutz (ed.). Verlag Shaker.
Formal
Development of a Production Cell in Focus - A Case Study
Max Fuchs, Jan Philipps.
In: Formal Development of Reactive Systems: Case Study Production Cell,
Lecture Notes in Computer Science 891. Editors: Claus Lewerentz, Thomas
Linder. Pages: 187 - 200. Year: 1995.
Equations
for Describing Dynamic Nets of Communicating Systems.
Manfred Broy.
In: Recent Trends in Data Types Specification, 10th Workshop on Specification
of Abstract Data Types joint with the 5th COMPASS Workshop. 1995. p. 170-187.
E. Astesiano, G. Reggio, A. Tarlecki (ed.). Springer.
Advanced
Component Interface Specification.
Manfred Broy.
In: Theory and Practice of Parallel Programming - International Workshop
TPPP'94. 1995. Takaysau Ito Akinori Yonezawa (ed.). Springer.
A
Refinement Relation Supporting the Transition from Unbounded to Bounded
Communication Buffers.
Ketil Stølen, .
In: Proceedings MPC'95. 1995. p. 423-451. Bernhard Möller (ed.).
LNCS 947, Springer Verlag.
Development
of SDL Specifications in Focus.
Ketil Stølen, .
In: Proceedings SDL Forum 95. 1995. p. 269-278. Amadeo Sarma, Rolf
Braek (ed.).North Holland.
Formale Fundierung von SDL
Ursula Hinkel.
IN: R. Gotzheim, J. Bredereke (Editors) ``Formale Beschreibungstechniken
für verteilte Systeme'', 5. GI/ITG-Fachgespräch, Pages 151-158,
Universität Kaiserslautern, 1995.
1994
- Specification
and Refinement of a Buffer of Length One
Manfred Broy.
In: Working Material of Marktoberdorf Summer School. Year: 1994.
An
Attempt to Embed a Restricted Version of SDL as a Target Language in Focus,
Eckhardt Holz, Ketil Stølen.
In: Proc. Forte'94. 1994. p. 324-339. Dieter Hogrefe, Stephan Leue
(ed.). Chapmann & Hall.
Specification
and Refinement of Finite Dataflow Networks - a Relational Approach,
Manfred Broy, Ketil Stølen.
In: Proc. FTRTFT'94. 1994. p. 247-267. Hans Langmaack, Willem-Paul
de Roever, Jan Vytopil (ed.). LNCS 863, Springer Verlag.
Functional
Semantics for Delta-Delay VHDL based on Focus,
Max Fuchs, Michael Mendler.
In: Formal Semantics for VHDL, Chapter I. Editors: C. Delgado Kloos
and P. Breuer. Publisher: Kluwer Academic Publishers. Pages: 9 - 38. Year:
1994.
1993
- HOPSA
- a High-level Programming Language for Parallel Computations
Manfred Broy, Claus Dendorfer, Ketil Stølen.
In: Proc. Euro-ARCH'93, pages 636-646. Peter Spies (ed.). Springer 1993.
(Inter-)Action
Refinement: The Easy Way
Manfred Broy.
In: M. Broy(ed.): Program Design Calculi. Springer NATO ASI Series,
Series F: Computer and System Sciences. Vol.: 118. Year: 1993.
Functional
Specification of Time Sensitive Communicating Systems.
Manfred Broy.
In: ACM Transactions on Software Engineering and Methodology 2:1. Pages:
1-46. Year: 1993.
1992
- Compositional
Refinement of Interactive Systems.
Manfred Broy.
In: DIGITAL Systems Research Center SRC 89. Year: 1992.
A
Simple Toy Example of a Distributed System: On the Design of a Connecting
Switch.
Thomas F. Gritzner.
In: Hogrefe D. (ed.): Formale Beschreibungstechniken für verteilte
Systeme. Informatik Aktuell.
Pages: 144-176. Year: 1992.
1991
- Towards
a Formal Foundation of the Specification and Description Language SDL
Manfred Broy.
In: Formal Aspects of Computing 3. Pages: 21-57. Year: 1991.
Technical Reports
2000
- Verification
Diagrams for Dataflow Properties
Max Breitling, Jan Philipps.
TUM-I0005, SFB-Bericht Nr. 342/03/00 A, 2000
1999
- Integrierte Beschreibung Automatisierter Produktionsanlagen - Eine
Evaluierung praxisnaher Beschreibungstechniken
Robert Sandner, Michael Mauderer.
TUM-I99??, SFB-Bericht Nr. 342/09/99 A, 1999
Evaluation of Petri Net and Automata Based Description Techniques: An
Industrial Case Study.
Alexander Sabbah, Robert Sandner.
TUM-I99??, SFB-Bericht Nr. 342/10/99 A, 1999
Black-Box-Views
of State Machines
Max Breitling, Jan Philipps.
TUM-I9916, SFB-Bericht Nr. 342/07/99 A, 1999
Specification
of an Elevator Control System -- An AutoFocus Case Study
Frank Strobl, Alexander Wisspeintner.
TUM-I9906, SFB-Bericht Nr. 342/04/99 A, 1999
Formalisierung
und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern
- Fallstudie -
Johann Schumann, Max Breitling.
TUM-I9904, SFB-Bericht Nr. 342/02/99 A, 1999
1998
- Home
Shopping - Die Spezifikation einer Kommunikationsanwendung in FOCUS
Ursula Hinkel.
TUM-I9808, SFB-Bericht Nr. 342/02/98 A, 1998
Pragmatic
and Formal Specification of System Properties by Tables
Manfred Broy.
TUM-I9802, 1998
1997
- Summary
of Case Studies in FOCUS - Part II
Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies.
TUM-I9740, SFB-Bericht Nr. 342/24/97 A, 1997.
Formalizing
and Verifiying TimeWarp with FOCUS
Max Breitling.
TUM-I9744, SFB-Bericht Nr. 342/27/97 A, 1997.
The
Specification of System Components by State Transition Diagrams
Manfred Broy
TUM-I9729, 1997.
Von FOCUS nach INSEL - Eine Aufzugsteuerung
Niels Reimer, Jürgen Rudolph, Katharina Spies.
TUM-I9723, manuscript.
Traffic
Flow by Data Flow
Jan Philipps, Alexander Schmidt
TUM-I9718, SFB-Bericht Nr. 342/13/97, 1997.
The
Steamboiler Specification - A Case Study in FOCUS
Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
TUM-I 9714, SFB-Bericht Nr. 342/10/97 A, 1997
Threat
Scenarios as a Means to Formally Develop Secure Systems
Volkmar Lotz
TUM-I9709, 1997.
1996
- How
to Improve the Service Specifications of the ISO/OSI Basic Reference Model.
Christian Facchi.
TUM-I9615, 1996.
The
Algebra of Stream Processing Functions.
Manfred Broy, Gheorghe Stefanescu.
TUM-I9620, 1996
A
Denotational Model for Mobile Many-to-Many Data-flow Networks.
Radu Grosu, Ketil Stølen.
TUM-I9622, SFB-Bericht Nr. 342/13/96 A
Specification
of Real-Time and Hybrid Systems in FOCUS.
Olaf Müller, Peter Scholz.
TUM-I9627, 19966.
State
Transition Diagrams.
Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy.
TUM-I9630, 1996.
Anleitung
zur Spezifikation von mobilen, dynamischen FOCUS-Netzen
Ursula Hinkel, Katharina Spies.
TUM-I9639, 1996.
1995
- Formal
Design of a Modulo-N Counter
Max Fuchs
TUM-I9512, SFB-Bericht Nr. 342/6/95 A
Assumption/Commitment
Rules for Data-flow Networks - with an Emphasis on Completeness.
Ketil Stølen.
TUM-I9516, SFB-Bericht Nr. 342/09/95.
A
Formal Method for Hardware/Software Co-Design .
Ketil Stølen, Max Fuchs.
TUM-I9517, SFB-Bericht Nr. 342/10/95.
A
Denotational Model for Mobile Point-to-Point Dataflow Networks.
Radu Grosu, Ketil Stølen
TUM-I9527, SFB-Bericht Nr. 342/14/95 A
Formale
Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik.
Bernhard Schätz, Katharina Spies.
TUM-I9529 ,SFB-Bericht Nr. 342/16/95 A
Concurrent
Timed Port Automata.
Radu Grosu, Bernhard Rumpe.
TUM-I9533, 1995.
Refinement
Principles Supporting the Transition from Asynchronous to Synchronous Communication.
Ketil Stølen.
TUM-I9537, SFB-Bericht Nr. 342/20/95 A
Formal
Semantics of Time Sequence Diagrams.
Christian Facchi.
TUM-I9540, 1995
1994
- Funktionale
Spezifikation eines Kommunikationsprotokolls
Katharina Spies
TUM-I9414, SFB-Bericht Nr. 342/8/94 A
A
Functional Rephrasing of the Assumption/Commitment Specification Style
Manfred Broy
TUM-I9417, SFB-Bericht Nr. 342/10/94 A
An
Attempt to Embed a Restricted Version of SDL as a Target Language
in
Focus
Eckhardt Holz, Ketil Stølen
TUM-I9418, SFB-Bericht Nr. 342/11/94 A
Summary
of Case Studies in FOCUS - a Design Method for Distributed Systems
Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz,
Katharina Spies, Ketil Stølen
TUM-I9423, SFB-Bericht Nr. 342/13/94 A
Technologieabhängigkeit
von Spezifikationen digitaler Hardware
Max Fuchs
TUM-I9431, SFB-Bericht Nr. 342/14/94 A
Refinement
Relation Supporting the Transition from Unbounded to Bounded Communication
Buffers
Ketil Stølen
TUM-I9435, SFB-Bericht Nr. 342/17/94 A
Algebra
of Flownomials.
Gheorghe Stefanescu
TUM-I9437, SFB-Bericht Nr. 342/16/94 A
1993
- Funktionale
Spezifikation einer Geschwindigkeitsregelung
Max Fuchs
TUM-I9301, SFB-Bericht Nr. 342/1/93 B
Assumption/Commitment
Rules for Networks of Asynchronously Communicating Agents
Ketil Stølen, Frank Dederichs, Rainer Weber
TUM-I9303, SFB-Bericht Nr. 342/2/93 A
Development
of a Distributed Min/Max Component
Max Fuchs, Ketil Stølen
TUM-I9338, SFB-Bericht Nr. 342/18/93 A
Deriving
Efficient Parallel Programs by Systemating Coarsing Specification Parallelism
Sergei Gorlatch
TUM-I9341, SFB-Bericht Nr. 342/20/93 A
Specification
and Refinement of Finite Dataflow Networks - A Relational Approach
Manfred Broy, Ketil Stølen
TUM-I9412, SFB-Bericht Nr. 342/7/93 A
1992
- The
Design of Distributed Systems - An Introduction to FOCUS
Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs,
Thomas Gritzner, Rainer Weber
TUM-I9202, SFB-Bericht Nr. 342/2-2/92 A
Development
and Implementation of a Communication Protocol - An Exercise in Focus
Claus Dendorfer, Rainer Weber
TUM-I9205, SFB-Bericht Nr. 342/4/92 A
The
Action Graph Model as a Link Between Abstract Relation Algebras and Process-Algebraic
Specifications
Thomas F. Gritzner.
TUM-I9207, SFB-Bericht Nr. 342/6/92 A
Parallel
Program Development for a Recursive Numerical Algorithm - A Case Study
Sergei Gorlatch
TUM-I9208, SFB-Bericht Nr. 342/7/92 A
1991
- Characterizing
the Behaviour of Reactive Systems by Trace Sets (extended and revised version)
Manfred Broy, Frank Dederichs, Claus Dendorfer, Rainer Weber
TUM-I9102, SFB-Bericht Nr. 342/2/91 A
Funktionale
Modellierung eines Postsystems
Claus Dendorfer
TUM-I9142, SFB-Bericht Nr. 342/28/91 A
On
constructive specifications of abstract data types using temporal logic
Frank Leßke
TUM-I9146, SFB-Bericht Nr. 342/32/91 A
1990
- Functional
Modelling of Operating System Structures by Timed Higher Order Stream Processing
Functions
Manfred Broy, Claus Dendorfer
TUM-I9042, SFB-Bericht Nr. 342/22/90 A
On
the Design and Verification of a Simple Distributed Spanning Tree Algorithm
(Revised Version)
Manfred Broy
TUM-I9046, SFB-Bericht Nr. 342/24/90 A
Ph.D. Theses
1998
- Ein
methodischer Übergang von asynchronen zu sychronen Systemen
Bernhard Schätz
Dissertation, Technische Universität München, 1998.
Formale,
semantische Fundierung und eine darauf abgestützte Verifikationsmethode
für SDL.
Ursula Hinkel
Dissertation, Technische Universität München, 1998.
Eine
Methode zur formalen Modellierung von Betriebssystemkonzepten.
Katharina Spies
Dissertation, Technische Universität München, 1998.
1997
- Refinements
in HOLCF: Implementation of Interactive Systems
Oscar Slotosch
Dissertation Technische Universität München. 1997.
1996
- Formale
Methodik des Entwurfs verteilter objektorientierter Systeme
Bernhard Rumpe.
Herbert Utz Verlag Wissenschaft, ISBN 3-89675-149-2. Dissertation Technische Universität München, 1996.
1995
- Methodik
zur formalen Spezifikation des ISO/OSI Schichtenmodells
Christian Facchi.
Herbert Utz Verlag Wissenschaft, ISBN 3-931327-94-9.
Dissertation Technische Universität München.
Year: 1995.
wp-Kalkül
und relationale Spezifikation kommunizierender Systeme
Thomas Gritzner.
Dissertation Technische Universität München.
Year: 1995.
Methodik
funktionaler Systementwicklung,
Claus Dendorfer.
Dissertation Technische Universität München.
Year: 1995.
1994
- Technologieabhängigkeit
von Spezifikationen digitaler Hardware.
Maximilian Fuchs.
Dissertation Technische Universität München.
Year: 1994.
Logic
and Proof Method of Recursion.
Birgit Schieder.
Dissertation Technische Universität München.
Year: 1994.
HOLCF:
eine konservative Erweiterung von HOL um LCF.
Franz Regensburger.
Dissertation Technische Universität München.
Year: 1994.
A
Formal Foundation for Concurrent Object Oriented Programming
Radu Grosu.
Dissertation Technische Universität München.
Year: 1994.
1992
- Eine
Methodik für die formale Anforderungsspezifikation verteilter Systeme.
Rainer Weber.
Dissertation Technische Universität München.
Year: 1992.
Transformation
verteilter Systeme: Von applikativen zu prozeduralen Darstellungen.
Frank Dederichs.
Dissertation Technische Universität München.
Year: 1992.
Diploma Theses
1996
- Unterstützung
von Strukturverfeinerungen in FOCUS durch Isabelle - Verifikation einer
Fertigungszelle
Robert Sandner.
Diplomarbeit Technische Universität München.
Year: 1996.
1995
- Entwicklung
einer Liftsteuerung - Fallstudie in Focus
Jürgen Rudolph.
Diplomarbeit Technische Universität München.
Year: 1995.
Formale
Entwicklung eines Funkgerätesteuermoduls
Max Breitling.
Diplomarbeit Technische Universität München.
In cooperation with Rohde und Schwarz.
Year: 1995.
Spezifikation
eines Dienstes und Protokolls in FOCUS -- Die Abracadabra-Fallstudie
Christine Klein.
Diplomarbeit Technische Universität München.
Year: 1995
1994
- Spezifikation
von Busstrukturen - eine Fallstudie in Focus
Roberto Della Mura.
Diplomarbeit Technische Universität München.
Year: 1994.
1993
- Spezifikation
einer Fertigungszelle - eine Fallstudie in Focus
Jan Philipps.
Diplomarbeit Technische Universität München.
Year: 1993.
Entwicklung
einer Werkzeugumgebung für die Systementwicklungsmethode Focus auf
Basis von Maestro II
Bernhard Klein.
Diplomarbeit Technische Universität München.
Year: 1993.