Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rolf Wildhack |
Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 273-282, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Lennard Lambert |
Bewertung von MSC-Spezifikationen mit Task-Graphen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 155-164, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Martin von Löwis |
SITE - Eine SDL Entwicklungsumgebung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 353-356, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Arend Rensink, Roberto Gorrieri |
Action refinement for Vertical Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 69-78, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Peter Langendörfer |
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 303-311, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Eckhardt Holz |
Towards an application of FDT within OOAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 185-189, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Hartmut König (eds.) |
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![K. G. Saur Verlag, 3-598-22409-5 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Robert Nahm |
Semantics of simple SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 35-48, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jens Grabowski, Ekkart Rudolph |
Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 66-87, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Held |
Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 142-160, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Norbert Götz, Ulrich Herzog, Michael Rettelbach |
TIPP - Introduction and Application to Protocol Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 105-125, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Peter B. Ladkin, Stefan Leue |
On the Semantics of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 88-104, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Claus Dendorfer, Rainer Weber |
An Informal Introduction to the Design Method FOCUS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 9-20, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Detlef Kreuz, Reinhard Gotzhein |
A Compiler for the Parallel Execution of Estelle Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 161-178, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Klaus Ahrens, Joachim Fischer, Andreas Prinz 0001, Dorota Witaszek |
Eine Entwicklungsumgebung für SDL'92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 49-65, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Monika Heiner |
A Petri Net View of Process Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 126-141, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | H. Peter Gumm |
MUNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 21-34, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|