M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUM-I9203, Technische Universitat Munchen, Institut fur Informatik, January 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal Design of a Modulo-N Counter - Fuchs (1995) Self-citation (Fuchs) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus. 42/2/92A,Technische Universitat Munchen, January 1992.
Reconciling Real-Time with Asynchronous Message Passing - Broy, Grosu, Klein (1997) (1 citation) Self-citation (Broy) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universitat Munchen, Institut fur Informatik, 1993.
Specification and Refinement of Finite Dataflow Networks -.. - Broy, Stølen (1994) (17 citations) Self-citation (Broy) (Correct)
No context found.
Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T. F., Weber, R.: The Design of Distributed Systems --- An Introduction to Focus. Tech. Report SFB 342/2/92 A, TU Munchen (1992)
A Proposal for Supporting Software Evolution in Componentware - Rausch (2000) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUM-I9203, Technische Universitat Munchen, Institut fur Informatik, January 1992.
Putting the Parts Together - Concepts, Description.. - Bergner, Rausch.. (Correct)
No context found.
M. Broy, F. Dederich, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUM-I9202, Technische Universitat Munchen, 1992.
An Attempt to Embed a Restricted Version of SDL as a Target .. - Holz, Stølen (1995) (5 citations) (Correct)
No context found.
M. Broy,F.Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The design of distributed systems --- an introduction to Focus. Technical Report SFB 34fi A, Technische Universitat Munchen, 1992.
Automata Describing Object Behavior - Rumpe, Klein (1996) (1 citation) (Correct)
No context found.
M. Broy,F.Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus -- revised version --. SFB-Bericht 342/2-2/92 A, Technische Universitat Munchen, January 1993.
Modelling and Verification of Layered Security.. - Grünbauer.. (Correct)
No context found.
M. Broy, F. Dederich, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUMI9202, Technische Universitat Munchen, 1992.
Verification of SDL Specifications on the Basis of Stream Semantics - Hinkel (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus. SFB-Report 342/2/92 A, Technische Universitat Munchen, January 1993.
Component-Oriented Redesign of the CASE-Tool AutoFocus - Bergner, Huber, Rausch.. (1997) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUM-I9203, Technische Universit at M unchen, Institut f ur Informatik, Januar 1992.
Refinement of Pipe-and-Filter Architectures - Philipps, Rumpe (1999) (1 citation) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus -- revised version --. SFB-Bericht 342/2-2/92 A, TU Munchen, 1993.
Modelling and Verification of Layered Security.. - Grünbauer.. (Correct)
No context found.
M. Broy, F. Dederich, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technical Report TUMI9202, Technische Universitat Munchen, 1992.
Developing Distributed Systems Step by Step with UML-RT - Sandner (2000) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems -- An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universitat Munchen, 1992.
Step by Step to Histories - Max Breitling And (2000) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus---Revised Version. Technical Report TUM-I9202-2, Institut fur Informatik, Technische Universitat Munchen, 1993
Refinement of Information Flow Architectures - Philipps, Rumpe (1997) (5 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universitat Munchen, 1993. http://www4.informatik.tu-muenchen.de/reports/TUMI9202. ps.gz.
Specification of Real-Time and Hybrid Systems in FOCUS - Müller, Scholz (1996) (2 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus --- Revised Version. Technical Report TUM-I9202-2, Technische Universitat Munchen, Fakultat fur Informatik, 80290 Munchen, Germany,1993.
Using Relations on Streams to Solve the RPC-Memory.. - Stølen (1996) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The design of distributed systems --- an introduction to Focus( vised version). Technical Report SFB 342/2/92 A, Technische Universitat Munchen, 1993.
Stepwise Refinement of Data Flow Architectures - Philipps, Rumpe (1997) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universitat Munchen, 1993. http://www4.informatik.tumuenchen. de/reports/TUM-I9202.ps.gz.
Traffic Lights - An AutoFocus Case Study - Huber, Molterer, Schätz.. (1998) (6 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber, "-, design of distributed systems - an introduction to FOCUS," Tech. Rep. TUM-I9203, Technische Universitat Munchen, Institut fur Informatik, Januar 1992.
The SDL Specification of the Sliding Window Protocol Revisited - Facchi, Haubner, Hinkel (1996) (3 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus. SFB-Bericht 342/2/92 A, Technische Universitat Munchen, January 1(ryae
Modeling Languages: Syntax, Semantics and All That Stuff Part.. - Harel, Rumpe (2000) (2 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus -- revised version --. SFB-Bericht 342/2-2/92 A, Technische Universitat Munchen, January 1993.
Towards a Formalization of the Unified Modeling Language - Breu, Hinkel, Hofmann.. (1997) (2 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report SFB 28 342/2/92 A, Technische Universitat Munchen, 1993. http://www4.informatik.tumuenchen. de/reports/TUM-I9202.ps.gz.
Towards a Formalization of the Unified Modeling Language - Breu, Hinkel, Hofmann.. (1997) (2 citations) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems --- An Introduction to focus -- revised version --. SFBBericht 342/2-2/92 A, Technische Universitat Munchen, January 1993.
Developing Distributed Systems Step by Step with UML-RT - Robert Sandner Institut (2000) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems -- An Introduction to FOCUS. Technical Report SFB 342/2/92 A, Technische Universitat Munchen, 1992.
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
No context found.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, Th. Gritzner, R. Weber, The Design of Distributed Systems: An Introduction to FOCUS, Report, Institut fur Informatik, TU Munchen 1993
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC