首页>外文会议>其他>IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems

IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.CHECKING BEHAVIOURAL SUBTYPES VIA REFINEMENT

机译：通过细化检查行为亚型
- 作者：Heike Wehrheimauthor_name/;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- behavioural subtyping;
- CSP;
- modelchecking;
- refinement;
2.VERIFYING AUTHENTICATION PROTOCOL IMPLEMENTATIONS

机译：验证身份验证协议实现
- 作者：Steve Schneiderauthor_name/;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
3.MOBILE OBJECTS 'MUST' MOVE SAFELY

机译：移动对象“必须”安全移动
- 作者：Sebastien Briais;Uwe Nestmann;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
4.BEHAVIOURAL SUBTYPING AND PROPERTY PRESERVATION FOR ACTIVE OBJECTS

机译：活动对象的行为亚型和属性保存
- 作者：Nabil Hameurlainauthor_name/;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- object-orientation;
- behavioural substitutability;
- subtyping;
- petri nets;
5.A FEATURE MANAGER APPROACH TO THE ANALYSIS OF COMPONENT-INTERACTIONS

机译：分析组件交互分析的特征经理方法
- 作者：Lynne Blair;Trevor Jones;Stephan Reiff-Marganiec;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- components;
- component-interactions;
- features;
- feature-manager;
6.A COMPOSITIONAL FORMALISM FOR OBJECT VIEWPOINTS

机译：对象观点的组成形式主义
- 作者：Einar Broch Johnsen;Olaf Owe;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- object-orientation;
- interfaces;
- formal specification;
- refinement;
- viewpoints;
7.A VISUAL MODELING FRAMEWORK FOR DISTRIBUTED OBJECT COMPUTING

机译：用于分布式对象计算的可视建模框架
- 作者：Gabriele Taentzerauthor_name/;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- distributed object computing;
- visual modeling;
- I/O-automata;
- graph transformation;
8.GENERATING ADAPTERS FOR CONCURRENT COMPONENT PROTOCOL SYNCHRONISATION

机译：生成用于并发组件协议同步的适配器
- 作者：Heinz W. Schmidt;Ralf H. Reussner;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- component interfaces;
- interoperability;
- adapter generation;
- finite state machines;
9.SUPPORTING COLLABORATIVE DESIGN

机译：支持协作设计
- 作者：Wang Yanjie;Chris George;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- concurrency control;
- version control;
- CSCW;
- consistency;
- RAISE;
- formal methods;
10.INTERPRETING ODP VIEWPOINT SPECIFICATION: OBSERVATIONS FROM A CASE STUDY

机译：解释ODP视点规范：案例研究的观察
- 作者：Chris Taylor;Eerke Boiten;John Derrick;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- ODP;
- viewpoints;
- correspondences;
- air traffic control;
- Z;
- object-Z;
11.A FORMAL SERVICE SPECIFICATION FOR IIOP BASED ON ISO/IEC 14752

机译：基于ISO / IEC 14752的IIOP的正式服务规范
- 作者：Abhishek Singh;Jonathan Billington;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- IIOP;
- CORBA;
- ODP;
- coloured petri nets;
- service specification;
12.FORMAL ANALYSIS OF SUZUKIKASAMI DISTRIBUTED MUTUAL EXCLUSION ALGORITHM

机译：铃木＆Kasami分布式互斥算法正式分析
- 作者：Kazuhiro Ogata;Kokichi Futatsugi;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- cafeobj;
- parallel and distributed algorithms;
- modeling;
- observational transition systems (OTS'S);
- UNITY;
- verification;
13.FORMAL SEMANTICS FOR INTERACTING UML SUBSYSTEMS

机译：用于互动UML子系统的正式语义
- 作者：Jan Juerjensauthor_name/;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- UML;
- formal semantics;
- refinement;
- abstract state machines;
14.COMPUTER-AIDED SPECIFICATION AND VERIFICATION OF ANNOTATED OBJECT-ORIENTED PROGRAMS

机译：计算机辅助规范和验证注释面向对象的程序
- 作者：F.S. de Boer;C. Pierik;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
15.A THEORY OF MAY TESTING FOR ACTORS

机译：可以测试演员的理论
- 作者：Prasannaa Thati;Reza Ziaei;Gul Agha;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- actors;
- interaction paths;
- may testing;
- π-calculus;
16.CONTROL FLOW ANALYSIS OF MOBILE AMBIENTS WITH SECURITY BOUNDARIES

机译：具有安全边界的移动式航空器的控制流程分析
- 作者：Chiara Braghin;Agostino Cortesi;Riccardo Focardi;International Federation for Information Processing;IFIP 81
- 会议名称：《IFIP TC6/WG6.1 international conference on formal methods for open object-based distributed systems》 | 2002年
- mobile ambients;
- security;
- static analysis;