![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
FBT 1997: Berlin, Germany
- Adam Wolisz, Ina Schieferdecker, Axel Rennoch:
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
Tutorials
- Bruno Müller-Clostermann:
SDL-Based Performance Evaluation - A Survey. FBT 1997: 7-22 - Jan Tretmans:
Repetitive Quiescence in Implementation and Testing. FBT 1997: 23-37
Verification
- Klaus Gotthardt, Reiner Lichtenecker:
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. FBT 1997: 39-48 - Frank Reffel:
Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. FBT 1997: 49-57 - Christel Baier, Holger Hermanns:
Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68 - Arend Rensink, Roberto Gorrieri:
Action refinement for Vertical Implementation. FBT 1997: 69-78
TLA
- Lutz Sommerfeld, Peter B. Ladkin:
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. FBT 1997: 79-88 - Georg Rock, Werner Stephan, Andreas Wolpers:
Tool Support for the Compositional Development of Distributed Systems. FBT 1997: 89-98 - Nils Buhrke, Wolfgang Thomas, Jens Vöge:
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997: 99-108
Specification Techniques
- Jan de Meer:
QoS Control by Balancing Continuous MM Streams. FBT 1997: 109-118 - Clemens Fischer:
Combining Object-Z and CSP. FBT 1997: 119-128 - Leszek Holenderski, Axel Poigné:
Synchronous Automata for Synchronous Programming Languages. FBT 1997: 129-134
MSCs/Traces
- Piotr Kosiuczenko:
Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. FBT 1997: 135-144 - Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka:
PMSC -- Integrating Performance into Message Sequence Chart. FBT 1997: 145-154 - Lennard Lambert:
Bewertung von MSC-Spezifikationen mit Task-Graphen. FBT 1997: 155-164 - Ina Schieferdecker, Axel Rennoch, Olaf Mertens:
Timed MSCx - an Extension to MSC'96. FBT 1997: 165-174
Specification Methods I
- Stephan Kleuker:
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. FBT 1997: 175-184 - Eckhardt Holz:
Towards an application of FDT within OOAD. FBT 1997: 185-189 - Frank Lemmen:
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. FBT 1997: 191-200
Specification Methods II
- Birgit Geppert, Frank Rößler:
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. FBT 1997: 201-210 - Thomas Gehrke:
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. FBT 1997: 211-220
Testing
- Stefan Heymer, Jens Grabowski:
Generating Test Cases for Infinite System Specifications. FBT 1997: 221-230 - Thomas Walter, Jens Grabowski:
Test Case Specification with Real-time TTCN. FBT 1997: 231-240 - Ina Schieferdecker, Mang Li, Axel Rennoch:
An AAL5 Performance Test Suite in PerfTTCN. FBT 1997: 241-250
Specification Methods III
- Ursula Hinkel, Katharina Spies:
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. FBT 1997: 251-261 - Detlef Baumecker, Reinhard Koeppe, Matthias Roebert:
Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme. FBT 1997: 263-271 - Rolf Wildhack:
Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. FBT 1997: 273-282
Prototyping
- Ralf Henke, Andreas Mitschele-Thiel:
Efficient Implementation Strategies for SDL. FBT 1997: 283-292 - Robert Schmit, Michael Kunes, Walter Sedlbauer:
Prototyping mit SDL. FBT 1997: 293-301 - Peter Langendörfer:
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. FBT 1997: 303-311 - Dirk Jäger, Arnulf Mester:
Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen. FBT 1997: 313-321 - Christian Engel:
Code Generation for Real-Time Specifications. FBT 1997: 323-332
Tools
- Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch:
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341 - Franz Huber, Bernhard Schätz:
Rapid Prototyping with AutoFocus. FBT 1997: 343-352 - Martin von Löwis:
SITE - Eine SDL Entwicklungsumgebung. FBT 1997: 353-356
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.