首页>外文会议>其他>IInternational Conference on Software Engineering and Formal Methods

IInternational Conference on Software Engineering and Formal Methods

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Machine-Checked Framework for Relational Separation Logic

机译：用于关系分离逻辑的机器检查框架
- 作者：Juan Manuel Crespo;Cesar Kunz
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
2.Reverse Hoare Logic

机译：反向Hoare逻辑
- 作者：Edsko de Vries;Vasileios Koutavas
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
3.A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries

机译：分析发展中国家知识转移过程的正式方法
- 作者：Jin Tong;Siraj A. Shaikh;Anne E. James
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Knowledge transfer;
- Formal modelling;
- Communicating Sequential Processes (CSP);
- Model-checking;
- Emerging economies;
4.Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

机译：通过组合静态和动态技术可用验证面向对象的程序
- 作者：Julian Tschannen;Carlo A. Furia;Martin Nordio;Bertrand Meyer
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
5.Energy Consumption and CO_2 Emissions of Beijing Heating System: Based on a System Dynamics Model

机译：北京供暖系统的能耗和CO_2排放：基于系统动力学模型
- 作者：Hefeng Tong;Weishuang Qu
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Heating System;
- Energy Consumption;
- CO_2 Emissions;
- System Dynamics;
6.Broadcast Psi-calculi with an Application to Wireless Protocols

机译：通过应用于无线协议的应用程序广播PSI-Calculi
- 作者：Johannes Borgstrom;Shuqin Huang;Magnus Johansson;Palle Raabjerg;Bjorn Victor;Johannes Aman Pohjola;Joachim Parrow
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
7.The Boogie Verification Debugger (Tool Paper)

机译：Boogie验证调试器（工具纸）
- 作者：Claire Le Goues;K. Rustan M. Leino;Michal Moskal
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
8.Hybrid Specification of Reactive Systems: An Institutional Approach

机译：反应系统的混合规范：一种制度方法
- 作者：Alexandre Madeira;Jose M. Faria;Manuel A. Martins;Luis S. Barbosa
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
9.Models and Communication in the Policy Process

机译：政策过程中的模型和沟通
- 作者：Matteo Pedercini
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
10.Context-Bounded Model Checking of LTL Properties for ANSI-C Software

机译：ANI-C软件的LTL属性的上下文界限模型检查
- 作者：Jeremy Morse;Lucas Cordeiro;Denis Nicole;Bernd Fischer
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
11.Modular Modelling of Software Product Lines with Feature Nets

机译：具有特征网的软件产品线的模块化建模
- 作者：Radu Muschevici;Jose Proenca;Dave Clarke
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
12.Developing Model-Checking Mechanisms for ASSL: An Experience Report

机译：开发ASSL的模型检查机制：经验报告
- 作者：Emil Vassev;Mike Hinchey
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Model checking;
- Formal methods;
- ASSL;
- Autonomic computing;
13.Translating Alloy Specifications to UML Class Diagrams Annotated with OCL

机译：将合金规范转换为使用OCL注释的UML类图表
- 作者：Ana Garis;Alcino Cunha;Daniel Riesco
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- MDE;
- Alloy;
- UML;
- OCL;
14.Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

机译：通过组合不同的外壳方法改进混合系统分析的SAT模态分析
- 作者：Andreas Eggers;Nacim Ramdani;Nedialko Nedialkov;Martin Franzle
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
15.Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

机译：在Hadoop MapReduce应用程序的规范和程序提取中使用COQ
- 作者：Kosuke Ono;Yoichi Hirai;Yoshinori Tanabe;Natsuko Noda;Masami Hagiya
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
16.Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

机译：使用深嵌入和自动定理证明，验证B证明规则
- 作者：Melanie Jacquel;Karim Berkani;David Delahaye;Catherine Dubois
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- B Method;
- Proof Rules;
- Verification;
- Deep Embedding;
- Automated Theorem Proving;
- Coq;
- Zenon;
17.Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations

机译：朝着制定农业生态系统模拟的基于代理的方法
- 作者：Jorge Corral;Daniel Calegari
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Agro-Ecosystem;
- Agent-Based Modeling;
- Simulation;
- Agent-Oriented Software Engineering;
- Unified Modeling Language;
18.Distributed Implementation of Systems with Multiparty Interactions and Priorities

机译：具有多分享互动和优先级的系统的分布式实施
- 作者：Imene Ben-Hafaiedh;Susanne Graf;Nejla Mazouz
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Priorities;
- Multiparty interaction;
- Distributed systems;
19.Formal Methods in Energy Informatics

机译：能源信息学中的正式方法
- 作者：Holger Hermanns
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
20.ProMoVer: Modular Verification of Temporal Safety Properties

机译：Promover：时间安全性能的模块化验证
- 作者：Siavash Soleimanifard;Dilian Gurov;Marieke Huisman
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
21.A Formalisation of Java Strings for Program Specification and Verification

机译：java字符串的正式化，用于计划规范和验证
- 作者：Richard Bubel;Reiner Hahnle;Ulrich Geilmann
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
22.Development Policy Analysis in Mali: Sustainable Growth Prospects

机译：马里发展政策分析：可持续增长前景
- 作者：Matteo Pedercini
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Growth potential;
- Sustainable development;
- System dynamics;
- Resource constraints;
- Mali;
23.Synchronizing Asynchronous Conformance Testing

机译：同步异步一致性测试
- 作者：Neda Noroozi;Ramtin Khosravi;Mohammad Reza Mousavi;Tim A. C. Willemse
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
24.Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence

机译：利用系统动态来评估社会经济地位在结核病发病率中的作用
- 作者：Marisa Analia Sanchez
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Tuberculosis;
- Social determinants;
- Risk factors;
- System dynamics;
- Simulation;
25.dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification

机译：DCTL：用于容错系统验证的分支时间时间逻辑
- 作者：Pablo F. Castro;Cecilia Kilmurray;Araceli Acosta;Nazareno Aguirre
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Formal Methods;
- Fault Tolerance;
- Temporal Logic;
- Model Checking;
26.Efficient Computation of Dominance in Component Systems (Short Paper)

机译：高效计算组件系统中的优势（短文）
- 作者：Jaap Boender
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
27.Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems

机译：利用基于状态的用户偏好，以便自适应系统的上下文感知重新配置
- 作者：Marco Mori;Fei Li;Christoph Dorn;Paola Inverardi;Schahram Dustdar
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
28.Verification of PLC Properties Based on Formal Semantics in Coq

机译：基于COQ的正式语义的PLC属性验证
- 作者：Jan Olaf Blech;Sidi Ould Biha
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
29.Formal Methods as a Link between Software Code and Legal Rules

机译：正式方法作为软件代码和法律规则之间的联系
- 作者：Daniel Le Metayer
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Regulation;
- Law;
- Legal;
- Liability;
- Accountability;
- Privacy;
- Compliance;
- Formal model;
- Causality;
30.Safe Distribution of Declarative Processes

机译：安全分配声明过程
- 作者：Thomas Hildebrandt;Raghava Rao Mukkamala;Tijs Slaats
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
- Formal specification;
- Distributed synthesis;
- Cross-organizational workflow;
- Declarative processes;
- Process composition;
31.Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude

机译：对面向对象的正式建模与高摩德互动混合系统的形式建模与分析
- 作者：Muhammad Fadlisyah;Peter Csaba Olveczky;Erika Abraham
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
32.A Dataflow Analysis to Improve SAT-Based Bounded Program Verification

机译：数据流分析，以改善基于SAT的有限节目验证
- 作者：Bruno Cuervo Parrino;Juan Pablo Galeotti;Diego Garbervetsky;Marcelo F. Frias
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
33.Verification of B~+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving

机译：B〜+树木的验证：形状分析和互动定理证明的实验
- 作者：Gidon Ernst;Gerhard Schellhorn;Wolfgang Reif
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年
34.Runtime Verification of Component-Based Systems

机译：基于组件的系统的运行时验证
- 作者：Ylies Falcone;Mohamad Jaber;Thanh-Hung Nguyen;Marius Bozga;Saddek Bensalem
- 会议名称：《IInternational Conference on Software Engineering and Formal Methods》 | 2011年