首页>外文会议>FME Workshop on Formal Methods in Software Engineering

FME Workshop on Formal Methods in Software Engineering

召开年：2013
召开地：San Francisco, CA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Though this be madness, yet there is method in it? (Keynote)

机译：虽然这很疯狂，但是里面有方法吗？（基调）
- 作者：Wassyng Alan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
2.Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

机译：你会说Z吗？跨文化适应问题视角下的形式方法
- 作者：Bollin Andreas
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
3.Functional SMT solving with Z3 and racket

机译：使用Z3和球拍解决功能性SMT
- 作者：Agarwal Siddharth;Karkare Amey
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
4.Trace based reachability verification for statecharts

机译：基于跟踪的状态图验证
- 作者：Madhukar Kumar;Metta Ravindra;Shrotri Ulka;Venkatesh R.
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
5.An integrated data model verifier with property templates

机译：具有属性模板的集成数据模型验证器
- 作者：Nijjar Jaideep;Bocic Ivan;Bultan Tevfik
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
6.Towards a formalism-based toolkit for automotive applications

机译：迈向基于形式主义的汽车应用工具包
- 作者：Gmehlich Rainer;Grau Katrin;Loesch Felix;Iliasov Alexei
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
7.Recommendations for improving the usability of formal methods for product lines

机译：有关提高产品线形式化方法可用性的建议
- 作者：Atlee Joanne M.;Beidu Sandy;Day Nancy A.;Faghih Fathiyeh
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- analysis;
- formal methods;
- modelling;
- requirements;
- software product lines;
- usability;
8.Lightweight formal models of software weaknesses

机译：轻量级的软件弱势正式模型
- 作者：Gandhi Robin;Siy Harvey;Wu Yan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Alloy modeling;
- CWE;
- Software weakness;
9.Automatic validation of infinite real-time systems

机译：自动验证无限的实时系统
- 作者：Gothel Thomas;Glesner Sabine
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
10.A framework for the rigorous design of highly adaptive timed systems

机译：严格设计高度自适应定时系统的框架
- 作者：Cordy Maxime;Legay Axel;Schobbens Pierre-Yves;Traonouez Louis-Marie
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Features;
- Model-checking;
- Real-time systems;
- Software Product Lines;
- Timed Games;
11.Recommendations for improving the usability of formal methods for product lines

机译：提高产品系列正式方法可用性的建议
- 作者：Atlee Joanne M.;Beidu Sandy;Day Nancy A.;Faghih Fathiyeh
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- analysis;
- formal methods;
- modelling;
- requirements;
- software product lines;
- usability;
12.Towards a Formalism-Based Toolkit for Automotive Applications

机译：朝向汽车应用的正式主义的工具包
- 作者：Rainer Gmehlich;Katrin Grau;Felix Loesch;Alexei Iliasov;Michael Jackson;Manuel Mazzara
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
13.A Framework for the Rigorous Design of Highly Adaptive Timed Systems

机译：高度自适应定时系统严格设计的框架
- 作者：Maxime Cordy;Axel Legay;Pierre-Yves Schobbens;Louis-Marie Traonouez
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Software Product Lines;
- Features;
- Real-time systems;
- Model-checking;
- Timed Games;
14.Functional SMT Solving with Z3 and Racket

机译：用Z3和球拍求解功能SMT
- 作者：Siddharth Agarwal;Amey Karkare
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
15.Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

机译：你会说z吗？跨文化适应问题的视角下的正式方法
- 作者：Bollin Andreas
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
16.Though This Be Madness, Yet There Is Method in It? (Keynote)

机译：虽然这是疯狂的，但有的方法吗？（基调）
- 作者：Alan Wassyng
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
17.Lightweight Formal Models of Software Weaknesses

机译：轻量级的软件弱点模型
- 作者：Robin Gandhi;Harvey Siy;Yan Wu
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Software weakness;
- Alloy modeling;
- CWE;
18.Trace based reachability verification for statecharts

机译：基于追溯性的StateCharts的可达性验证
- 作者：Madhukar Kumar;Metta Ravindra;Shrotri Ulka;Venkatesh R.
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
19.A framework for the rigorous design of highly adaptive timed systems

机译：高度自适应定时系统严格设计的框架
- 作者：Cordy Maxime;Legay Axel;Schobbens Pierre-Yves;Traonouez Louis-Marie
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Features;
- Model-checking;
- Real-time systems;
- Software Product Lines;
- Timed Games;
20.Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem

机译：你会说z吗？跨文化适应问题的视角下的正式方法
- 作者：Andreas Bollin
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
21.Functional SMT solving with Z3 and racket

机译：用Z3和球拍求解功能SMT
- 作者：Agarwal Siddharth;Karkare Amey
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
22.Though this be madness, yet there is method in it? (Keynote)

机译：虽然这是疯狂的，但有的方法吗？（基调）
- 作者：Wassyng Alan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
23.Trace Based Reachability Verification for Statecharts

机译：基于追溯性的StateCharts的可达性验证
- 作者：Kumar Madhukar;Ravindra Metta;Ulka Shrotri;R. Venkatesh
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
24.Automatic Validation of Infinite Real-Time Systems

机译：自动验证无限实时系统
- 作者：Thomas Gothel;Sabine Glesner
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
25.An Integrated Data Model Verifier with Property Templates

机译：具有属性模板的集成数据模型验证程序
- 作者：Jaideep Nijjar;Ivan Bocic;Tevfik Bultan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
26.Automatic validation of infinite real-time systems

机译：自动验证无限实时系统
- 作者：Gothel Thomas;Glesner Sabine
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
27.Recommendations for Improving the Usability of Formal Methods for Product Lines

机译：提高产品系列正式方法可用性的建议
- 作者：Joanne M. Atlee;Sandy Beidu;Nancy A. Day;Fathiyeh Faghih;Pourya Shaker
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Formal methods;
- Modelling;
- Analysis;
- Usability;
- Requirements;
- Software product lines;
28.An integrated data model verifier with property templates

机译：具有属性模板的集成数据模型验证程序
- 作者：Nijjar Jaideep;Bocic Ivan;Bultan Tevfik
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
29.Towards a formalism-based toolkit for automotive applications

机译：朝向汽车应用的正式主义的工具包
- 作者：Gmehlich Rainer;Grau Katrin;Loesch Felix;Iliasov Alexei
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
30.Lightweight formal models of software weaknesses

机译：轻量级的软件弱点模型
- 作者：Gandhi Robin;Siy Harvey;Wu Yan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2013年
- Alloy modeling;
- CWE;
- Software weakness;
31.On the Heroism of Really Pursuing Formal Methods

机译：论真正追求正式方法的英雄主义
- 作者：Mandrioli Dino
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Half-empty-half-full glass;
- education;
- incrementality;
- model-checking;
32.Measuring Behaviour Interactions between Product-Line Features

机译：测量产品线特征之间的行为相互作用
- 作者：Atlee Joanne M.;Fahrenberg Uli;Legay Axel
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
33.A Methodology for the Simplification of Tabular Designs in Model-Based Development

机译：一种简化基于模型开发中的表格设计的方法
- 作者：Bialy Monika;Lawford Mark;Pantelic Vera;Wassyng Alan
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Simulink;
- automotive;
- decision tables;
- model-based development;
- refactoring;
- tabular expressions;
34.Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study

机译：通过考验其正式B规范验证安全政策 - 以案例研究
- 作者：Ledru Yves;Idani Akram;Richier Jean-Luc
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Animation;
- B method;
- Formal specification;
- Test;
- Validation;
35.Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

机译：从时序序列数据使用概率模型检查推断基因监管网络
- 作者：Ceccarelli Michele;Cerulo Luigi;De Ruvo Giuseppe;Nardone Vittoria;Santone Antonella
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Formal methods;
- Gene regulatory networks;
- reverse engineering;
36.Formal Verification of the Security for Dual Connectivity in LTE

机译：正式验证LTE中双连接的安全性
- 作者：Ben Henda Noamen;Norrman Karl;Pfeffer Katharina
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- LTE;
- formal verification;
- model checking;
- security protocols;
- telecom;
37.VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

机译：VDMPAD：用于探索VDM-SL规范的轻量级IDE
- 作者：Oda Tomohiro;Araki Keijiro;Larsen Peter Gorm
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Animation;
- Exploratory Formal Specification;
- VDM;
- Web IDE;
38.Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation

机译：获得自主系统的信任：用于正式模型合成和验证的工具
- 作者：Heitmeyer Constance L.;Leonard Elizabeth /I/.
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- autonomous vehicles;
- cyber physical systems;
- formal methods;
- formal models;
- model synthesis;
- requirements;
- scenarios;
- simulation;
- validation;
39.Syntax-Driven Program Verification of Matching Logic Properties

机译：语法驱动程序验证匹配逻辑属性
- 作者：Bianculli Domenico;Filieri Antonio;Ghezzi Carlo;Mandrioli Dino;Rizzi Alessandro Maria
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Matching logic;
- reachability checking;
- software verification;
- syntax-directed;
40.Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

机译：网络物理系统设计：正式基础，方法和集成工具链
- 作者：Fitzgerald John;Gamble Carl;Larsen Peter Gorm;Pierce Kenneth;Woodcock Jim
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年
- Cyber-Physical Systems;
- Formal Methods;
- Model-based Design;
- Tool Chains;
41.Mechanical Verification of Interactive Programs Specified by Use Cases

机译：用案例指定的交互式计划的机械验证
- 作者：Claret Guillaume;Regis-Gianas Yann
- 会议名称：《FME Workshop on Formal Methods in Software Engineering》 | 2015年