FBT 1997:
Berlin,
Germany
Adam Wolisz, Ina Schieferdecker, Axel Rennoch (Eds.):
Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997.
GMD-Studien 315 GMD-Forschungszentrum Informationstechnik GmbH 1997, ISBN 3-88457-315-2 BibTeX
@proceedings{DBLP:conf/fbt/1997,
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, GI/ITG-Fachgespr{\"a}ch,
Berlin, 19.-20. Juni 1997},
booktitle = {FBT},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
series = {GMD-Studien},
volume = {315},
year = {1997},
isbn = {3-88457-315-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Tutorials
Verification
TLA
Specification Techniques
MSCs/Traces
Specification Methods I
- Stephan Kleuker:
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.
175-184 BibTeX
- Eckhardt Holz:
Towards an application of FDT within OOAD.
185-189 BibTeX
- Frank Lemmen:
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.
191-200 BibTeX
Specification Methods II
- Birgit Geppert, Frank Rößler:
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems.
201-210 BibTeX
- Thomas Gehrke:
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.
211-220 BibTeX
Testing
Specification Methods III
Prototyping
Tools
Copyright © Sat May 16 23:11:52 2009
by Michael Ley (ley@uni-trier.de)
