首页>外文会议>Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on

Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Legacy code

机译：旧版代码
- 作者：Hoare C.A.R.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
2.Offering formal verification capabilities for industry standard case tools: challenges and results

机译：提供针对行业标准案例工具的正式验证功能：挑战和结果
- 作者：Damm W.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
3.The use of mathematics in software engineering

机译：数学在软件工程中的使用
- 作者：Pamas D.L.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
4.ClawZ: control laws in Z

机译：ClawZ：Z中的控制法则
- 作者：Arthan R.;Caseley P.;OHalloran C.;Smith A.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
5.Embedding formally proved code in a smart card: converting B to C

机译：将经过正式验证的代码嵌入到智能卡中：将B转换为C
- 作者：Requet A.;Bossu G.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
6.Formal treatment of a family of fixed-point problems on graphs by CafeOBJ

机译：CafeOBJ对图上一族定点问题的形式化处理
- 作者：Tamai;T.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
7.An animatable operational semantics of the Verilog hardware description language

机译：Verilog硬件描述语言的可动画操作语义
- 作者：Bowen;J.P.;He Jifeng
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
8.Composing specifications in VSPEC

机译：在VSPEC中编写规范
- 作者：Venkataraman A.;Rangarajan M.;Alexander P.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
9.Formal derivation of multilayered hardware/software structures

机译：多层硬件/软件结构的形式派生
- 作者：Plaks T.P.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
10.Fragmented retrenchment, concurrency and fairness

机译：零散的裁员，并发和公平
- 作者：Banach R.;Poppleton M.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
11.Highly reliable component-based software development by using algebraic behavioral specification

机译：通过使用代数行为规范进行高度可靠的基于组件的软件开发
- 作者：Matsumoto;M.;Futatsugi;K.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
12.Mechanical verification of transaction processing systems

机译：交易处理系统的机械验证
- 作者：Chkliaev D.;Hooman J.;van der Stok P.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
13.A case study in partial specification: consistency and refinement for Object-Z

机译：部分规范中的案例研究：Object-Z的一致性和完善
- 作者：Taylor;C.;Derrick;J.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
14.A unified algebraic framework for specifying communication protocols

机译：用于指定通信协议的统一代数框架
- 作者：Jmaiel;M.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
15.SPIN vs. VIS: a case study on the formal verification of the ATMR protocol

机译：SPIN与VIS：以ATMR协议的形式验证为例
- 作者：Peng;H.;Tahar;S.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
16.Structuring reactive systems in B AMN

机译：在B AMN中构建反应系统
- 作者：Lano K.;Androutsopoulos K.;Kan P.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
17.Translating UAN into CSP

机译：将UAN转换为CSP
- 作者：MacColl I.;Carrington D.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
18.Using use cases in Executable Z

机译：在可执行Z中使用用例
- 作者：Grieskamp W.;Lepper M.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
19.An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

机译：基于CSP的集成工具，用于消息传递算法的可视化，动画和性能评估
- 作者：Abdallah;A.E.;Green;M.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
20.Formal foundations of object-oriented modeling notations

机译：面向对象建模符号的形式基础
- 作者：Pons C.;Baum G.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
21.Maximally abstract retrenchments

机译：最大程度地减少裁员
- 作者：Banach R.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
22.Filter promotion transformation strategies for deriving efficient programs from Z specifications

机译：筛选器提升转换策略，可从Z规范中得出有效程序
- 作者：Abdallah;A.E.
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年
23.Third IEEE International Conference on Formal Engineering Methods

机译：第三届IEEE形式工程方法国际会议
- 会议名称：《Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on》 | 2000年