首页>外文会议>Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on

Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A framework for component-based construction

机译：基于组件的构建框架
- 作者：Sifakis J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
2.On the theory of patching

机译：关于补丁理论
- 作者：Pap Z.;Csopaki G.;Dibuz S.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
3.Towards a truly concurrent model for processes sharing resources

机译：建立真正的并发模型以共享资源
- 作者：Naiyong Jin;Jifeng He
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
4.A case study of C source code verification: the Schorr-Waite algorithm

机译：C源代码验证的案例研究：Schorr-Waite算法
- 作者：Hubert T.;Marche C.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
5.A cloverleaf of software engineering

机译：三叶草的软件工程
- 作者：Bjoerner D.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
6.A proposal for relative time Petri nets

机译：相对时间Petri网的建议
- 作者：Kuehn J.;Lakos C.;Esser R.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
7.A strategy for the formal composition of frameworks

机译：框架正式组成的战略
- 作者：Mesquita W.;Sampaio A.;de Melo A.C.V.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
8.A synchronous process calculus for service costs

机译：服务成本的同步过程演算
- 作者：Siva Anantharaman;Chen J.;Hains G.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
9.A unified description formalism for complex HCI-systems

机译：复杂HCI系统的统一描述形式
- 作者：Dittmar A.;Forbrig P.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
10.Automatic maintenance of association invariants

机译：自动维护关联不变量
- 作者：Welch J.;Faitelson D.;Davies J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
11.BRILLANT: an open source and XML-based platform for rigourous software development

机译：BRILLIANT：一个用于严格软件开发的基于XML的开源平台
- 作者：Colin S.;Petit D.;Rocheteau J.;Marcano R.;Mariano G.;Poirriez V.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
- Unified Modeling Language;
- XML;
- formal specification;
- formal verification;
- program compilers;
- public domain software;
- B method;
- BRILLANT;
- UML;
- XML;
- formal specification;
- formal validation;
- open source platform;
- safe code generation;
- software development;
- B method;
- UML m;
12.Building verification condition generators by compositional extensions

机译：通过组成扩展构建验证条件生成器
- 作者：Prasetya I.S.W.B.;Fakultas A.A.;Vos T.E.J.;van Leeuwen A.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
13.Control code obfuscation by abstract interpretation

机译：通过抽象解释控制代码混淆
- 作者：Dalla Preda M.;Giacobazzi R.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
14.Counting interface automata and their application in static analysis of actor models

机译：计数接口自动机及其在参与者模型静态分析中的应用
- 作者：Wandeler E.;Janneck J.W.;Lee E.A.;Thiele L.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
15.Customised induction rules for proving correctness of imperative programs

机译：定制的归纳规则，用于证明命令式程序的正确性
- 作者：Olsson O.;Wallenburg A.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
16.Description logics for shape analysis

机译：形状分析的描述逻辑
- 作者：Georgieva L.;Maier P.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
17.Experimental evaluation of FSM-based testing methods

机译：基于FSM的测试方法的实验评估
- 作者：Dorofeeva R.;El-Fakih K.;Maag S.;Cavalli A.R.;Yevtushenko N.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
18.Formal analysis of human-computer interaction using model-checking

机译：使用模型检查对人机交互进行形式化分析
- 作者：Cerone A.;Lindsay P.A.;Connelly S.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
19.Formal verification of dead code elimination in Isabelle/HOL

机译：正式验证Isabelle / HOL中消除死代码的方式
- 作者：Blech J.O.;Gesellensetter L.;Glesner S.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
20.Formalising control in robust spoken dialogue systems

机译：强大的口语对话系统中的形式化控制
- 作者：Shi H.;Ross R.J.;Bateman J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
21.From RT-LOTOS to time Petri nets new foundations for a verification platform

机译：从RT-LOTOS到时间，Petri为验证平台奠定了新的基础
- 作者：Sadani T.;Courtiat J.-P.;de Saqui-Sannes P.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
22.Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces

机译：根据在EB ^ 3跟踪中定义的递归函数生成关系数据库事务
- 作者：Gervais F.;Frappier M.;Laleau R.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
23.Interface abstraction for compositional verification

机译：用于组成验证的接口抽象
- 作者：Gurov D.;Huisman M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
24.Logical foundations of program assertions: what do practitioners want?

机译：程序断言的逻辑基础：从业者想要什么？
- 作者：Chalin P.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
25.Object oriented verification kernels for secure Java applications

机译：适用于安全Java应用程序的面向对象的验证内核
- 作者：Grandy H.;Stenzel K.;Reif W.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
26.Omnibus verification policies: a flexible, configurable approach to assertion-based software verification

机译：Omnibus验证策略：一种灵活的可配置方法，用于基于断言的软件验证
- 作者：Wilson T.;Maharaj S.;Clark R.G.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
27.On compatibility and behavioural substitutability of component protocols

机译：组件协议的兼容性和行为可替换性
- 作者：Hameurlain N.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
28.Operational semantics for real-time processes with action refinement

机译：具有动作细化功能的实时流程的操作语义
- 作者：Xiuli Sun;Wu J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
29.Pragmatic consistency management in industrial requirements specifications

机译：工业需求规范中的务实一致性管理
- 作者：Scheffczyk J.;Borghoff U.M.;Birk A.;Siedersleben J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
30.Precise analysis of memory consumption using program logics

机译：使用程序逻辑精确分析内存消耗
- 作者：Barthe G.;Pavlova M.;Schneider G.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
31.Proving correctness of JavaCard DL taclets using Bali

机译：使用Bali证明JavaCard DL小笔的正确性
- 作者：Trentelman K.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
32.Putting detectors in their place program monitoring

机译：将探测器放置在原位程序监视
- 作者：Jhumka A.;Hiller M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
33.Safe concurrency for aggregate objects with invariants

机译：具有不变式的聚合对象的安全并发
- 作者：Jacobs B.;Leino K.R.M.;Piessens F.;Schulte W.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
34.SHReQ: coordinating application level QoS

机译：SHReQ：协调应用程序级QoS
- 作者：Hirsch D.;Tuosto E.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
35.Software refinement with Perfect Developer

机译：使用Perfect Developer完善软件
- 作者：Carter G.;Monahan R.;Morris J.M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
36.Specifying urgency in timed I/O automata

机译：在定时I / O自动机中指定紧急度
- 作者：Gebremichael B.;Vaandrager F.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
37.Stuttering abstraction for model checking

机译：口吃抽象进行模型检查
- 作者：Nejati S.;Gurfinkel A.;Chechik M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
- formal specification;
- formal verification;
- temporal logic;
- ternary logic;
- 3-valued abstraction framework;
- CTL;
- model checking;
- refinement relations;
38.Timed automata with data structures for distributed systems design and analysis

机译：具有数据结构的定时自动机，用于分布式系统设计和分析
- 作者：Lanotte R.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
39.Towards the formal verification of a C0 compiler: code generation and implementation correctness

机译：进行C0编译器的形式验证：代码生成和实现正确性
- 作者：Leinenbach D.;Paul W.;Petrova E.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
40.Use of verification for testing and debugging of complex reactive systems

机译：将验证用于复杂反应系统的测试和调试
- 作者：Trakhtenbrot M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
41.Using dominators to extract observable protocol contexts

机译：使用统治者提取可观察的协议上下文
- 作者：Subramaniam M.;Shi J.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
42.Verification of an off-line checker for priority queues

机译：验证优先级队列的离线检查器
- 作者：de Nivelle H.;Piskac R.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
43.Workflow enactment based on a chemical metaphor

机译：基于化学隐喻的工作流程制定
- 作者：Nemeth Z.;Perez C.;Priol T.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
44.Invariants on demand

机译：需求不变
- 作者：Rustan;K.;Leino;M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
45.Making formal methods work

机译：使形式方法起作用
- 作者：Hall;A.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》 | 2005年
46.Invariants on demand

机译：需求不变
- 作者：Rustan K.;Leino M.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
47.Making formal methods work

机译：使形式方法起作用
- 作者：Hall A.
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
48.Preface

机译：前言
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
49.Program Committee

机译：计划委员会
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
50.Steering Committee

机译：指导委员会
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
51.External Referees

机译：外部裁判
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》
52.Conference Chairs

机译：会议椅
- 会议名称：《Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on》