首页>外文会议>其他>GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)

GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.SDL-Based Performance Evaluation A Survey

机译：基于SDL的绩效评估调查
- 作者：Bruno Mueller-Clostermann
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
2.Action Refinement for Vertical Implementation

机译：垂直实施的行动优化
- 作者：Arend Rensink;Roberto Gorrieri
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
3.Timed MSCs - an Extension to MSC'96

机译：定时MSC-MSC'96的扩展
- 作者：Ina Schieferdecker;Axel Rennoch;Olaf Mertens
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
4.Tool Support for the Compositional Development of Distributed Systems

机译：分布式系统组成开发的工具支持
- 作者：Georg Rock;Werner Stephan
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
5.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"; 19970619-20; Berlin(DE)》 | 1997年
6.Repetitive Quiescence in Implementation and Testing

机译：实施和测试中的重复静态
- 作者：Jan Tretmans
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
7.Synchronous Automata for Synchronous Programming Languages

机译：同步编程语言的同步自动机
- 作者：Leszek Holenderski;Axel Poigne
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
8.Spezifikationsmethodik für mobile, dynamische Focus-Netze

机译：移动，动态焦点网络的规范方法
- 作者：Ursula Hinkel;Katharina Spies
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
9.Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung

机译：BDD模型测试中状态区域的部分减少
- 作者：Frank Reffel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
10.Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA~+

机译：TLA中模糊的实时混合系统的描述〜+
- 作者：Lutz Sommerfeld;Peter Ladkin
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
11.Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik

机译：通过时序逻辑从规范有效地综合控制器的渐进方法
- 作者：Nils Buhrke;Wolfgang Thomas;Jens Vouml;ge
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
12.Eine Spezifikationsmethode für echtzeitkritische Kommunikations Systeme

机译：实时关键通信系统的规范方法
- 作者：Detlef Baumecker;Reinhard Koeppe;Matthias Roebert
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
13.iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92

机译：iSDL：一种将性能增强的实施要求集成到SDL'92中的方法
- 作者：Peter Langendouml;rfer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
14.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"; 19970619-20; Berlin(DE)》 | 1997年
- SDL;
- design patterns;
- communication protocols;
- protocol engineering;
- reuse;
15.QoS Control by Balancing Continuous MM Streams

机译：通过平衡连续MM流进行QoS控制
- 作者：Jan de Meer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
- continuous functions;
- streams;
- hybrid systems;
- monitoring;
- system control;
- End-to-end QoS;
16.Weak Bisimulation for Fully Probabilistic Processes

机译：完全概率过程的弱双仿真
- 作者：Christel Baier;Holder Hermanns
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
17.Code Generation for Real-Time Specifications

机译：实时规范的代码生成
- 作者：Christian Engel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
18.An AAL5 Performance Test Suite in PerfTTCN

机译：PerfTTCN中的AAL5性能测试套件
- 作者：Ina Schieferdecker;Mang Li;Axel Rennoch
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
19.Rapid Prototyping with AutoFocus

机译：利用AutoFocus进行快速原型制作
- 作者：Franz Huber;Bernhard Schaetz
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
20.Towards an Application of FDT within OOAD

机译：FDT在OOAD中的应用
- 作者：Eckhardt Hoz
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
21.A Tool for the Automatic and Semi-Automatic Test Generation

机译：自动和半自动测试生成的工具
- 作者：Michael Schmitt;Beat Koch;Jens Grabowski;Dieter Hogrefe
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
22.Combining Object-Z and CSP

机译：结合Object-Z和CSP
- 作者：Clemens Fischer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
23.Efficient Implementation Strategies for SDL

机译：SDL的高效实施策略
- 作者：Ralf Henke;Andreas Mitschele-Thiel
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
24.Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach

机译：基本消息序列图的形式语义：一种代数方法
- 作者：Piotr Kosiuczenko
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
25.Generating Test Cases for Infinite System Specifications

机译：生成无限系统规格的测试用例
- 作者：Stefan Heymer;Jens Grabowski
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
26.Test Case Specification with Real-Time TTCN

机译：实时TTCN的测试用例规范
- 作者：Thomas Walter;Jens Grabowski
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
27.Verification ot Distributed Applications by translating CCS to Binary Decision Diagrams

机译：通过将CCS转换为二进制决策图来验证分布式应用程序
- 作者：Klaus Gotthardt;Reiner Lichtenecker
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
- protocol-verification;
- process calculus;
- binary decision diagrams;
- CSMA/CD;
28.Eine SDL-Entwicklungsumgebung

机译：SDL开发环境
- 作者：Martin von Louml;wis
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
29.Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeszlig;orientierten Spezifikation

机译：使用图形设计方法创建面向过程的规范
- 作者：Thomas Gehrke
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
30.Prototyping mit SDL

机译：使用SDL进行原型制作
- 作者：Michael Kunes;Robert Schmit;Walter Sedlbauer
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
31.Formale Spezifikationsmethoden auf dem Prüfstand:Erfahrungen bei der Implementation komplexer Middleware

机译：正式规范方法经受考验：实施复杂中间件的经验
- 作者：Rolf Wildhack
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
32.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"; 19970619-20; Berlin(DE)》 | 1997年
33.Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen

机译：根据cTLA规范自动进行分布式应用程序的原型制作
- 作者：Dirk Jauml;ger;Arnulf Mester
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
34.Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen

机译：与跟踪图同步通信过程的需求的形式化
- 作者：Stephan Kleuker
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年
35.Bewertung von MSC-Spezifikationen mit Task-Graphen

机译：使用任务图评估MSC规范
- 作者：Lennard Lambert
- 会议名称：《GI/ITG-Fachgesprach "Formale beschreibungstechniken fur verteilte systems"; 19970619-20; Berlin(DE)》 | 1997年