首页>外文会议>其他>GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"

GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Code Generation for Real-Time Specifications

机译：用于实时规范的代码生成
- 作者：Christian Engel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
2.Bewertung von MSC-Spezifikationen mit Task-Graphen

机译：使用任务图评估MSC规格
- 作者：Lennard Lambert
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
3.Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeszlig;orientierten Spezifikation

机译：使用图形设计方法来创建面向试验规范
- 作者：Thomas Gehrke
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
4.Action Refinement for Vertical Implementation

机译：垂直实施的动作细化
- 作者：Arend Rensink;Roberto Gorrieri
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
5.Combining Object-Z and CSP

机译：组合Object-Z和CSP
- 作者：Clemens Fischer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
6.Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen

机译：请求正式化与跟踪图表的同步通信进程
- 作者：Stephan Kleuker
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
7.Timed MSCs - an Extension to MSC'96

机译：定时MSCS - MSC'96的扩展
- 作者：Ina Schieferdecker;Axel Rennoch;Olaf Mertens
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
8.Combining SDL and Pattern-based Design for the Customization of Communication Subsystems

机译：组合SDL和基于模式的设计进行通信子系统的自定义
- 作者：Birgit Geppert;Frank Roessler
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
- SDL;
- design patterns;
- communication protocols;
- protocol engineering;
- reuse;
9.Formale Spezifikationsmethoden auf dem Prüfstand:Erfahrungen bei der Implementation komplexer Middleware

机译：测试台上的正式规范方法：复杂中间件实施的经验
- 作者：Rolf Wildhack
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
10.Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung

机译：BDD模型试验处的状态室的部分顺序减少
- 作者：Frank Reffel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
11.Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen

机译：自动生成CTLA规范的分布式应用原型
- 作者：Dirk J;ger;Arnulf Mester;auml
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
12.SDL-Based Performance Evaluation A Survey

机译：基于SDL的绩效评估调查
- 作者：Bruno Mueller-Clostermann
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
13.PMSC - Integrating Performance into Message Sequence Chart

机译：PMSC - 将性能集成到消息序列图表中
- 作者：Nils Faltin;Lennard Lambert;Andreas Mitschele-Thiel;Frank Slomka
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
14.Eine Spezifikationsmethode für echtzeitkritische Kommunikations Systeme

机译：实时关键通信系统的规范方法
- 作者：Detlef Baumecker;Reinhard Koeppe;Matthias Roebert
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
15.Prototyping mit SDL

机译：用SDL原型设计
- 作者：Michael Kunes;Robert Schmit;Walter Sedlbauer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
16.Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach

机译：基本消息序列图表的正式语义：代数方法
- 作者：Piotr Kosiuczenko
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
17.Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA~+

机译：TLA〜+模糊实时混合系统的描述
- 作者：Lutz Sommerfeld;Peter Ladkin
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
18.Test Case Specification with Real-Time TTCN

机译：用实时TTCN测试案例规范
- 作者：Thomas Walter;Jens Grabowski
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
19.Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring

机译：在SDL / MSC控制监控的背景下的SDL'92规范的面向对象仪器
- 作者：Frank Lemmen
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
20.Rapid Prototyping with AutoFocus

机译：用自动对焦快速原型设计
- 作者：Franz Huber;Bernhard Schaetz
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
21.QoS Control by Balancing Continuous MM Streams

机译：通过平衡连续MM流来控制QoS控制
- 作者：Jan de Meer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
- continuous functions;
- streams;
- hybrid systems;
- monitoring;
- system control;
- End-to-end QoS;
22.Generating Test Cases for Infinite System Specifications

机译：为无限系统规格生成测试用例
- 作者：Stefan Heymer;Jens Grabowski
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
23.iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92

机译：ISDL：在SDL'92中集成性能增强实现规范的方法
- 作者：Peter Langend;rfer;ouml
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
24.Weak Bisimulation for Fully Probabilistic Processes

机译：完全概率过程的弱分布
- 作者：Christel Baier;Holder Hermanns
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
25.Spezifikationsmethodik für mobile, dynamische Focus-Netze

机译：移动，动态焦点网络规范方法
- 作者：Ursula Hinkel;Katharina Spies
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年
26.Efficient Implementation Strategies for SDL

机译：SDL的高效实施策略
- 作者：Ralf Henke;Andreas Mitschele-Thiel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"》 | 1997年