掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Formal methods and software engineering
Formal methods and software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机网络世界
软件世界
计算机工程与设计
数码先锋
现代计算机(普及版)
机器人
计算机应用文摘
电脑乐园·学生电脑
家庭电子
电脑知识与技术
更多>>
相关外文期刊
Journal of logic, language and information
IEEE transactions on systems, man and cybernetics. Part C
International journal of computer games technology
Canadian Journal of Remote Sensing
Optical Networks Magazine
Electronic commerce research and applications
International journal of digital crime and forensics
Computer languages
Information Systems
Journal of the Association for Information Systems
更多>>
相关中文会议
第四届全国学生计算语言学研讨会(SWCL-2008)
第十一届中国虚拟现实大会(ICVRV2011)
第五届中国Rough集与软计算学术研讨会
Thirteenth Chinese Conference,SSTA 2011(第十三届中国系统仿真技术及其应用学术会议)
测控、计量与仪器学术年会
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
中国电子学会电子系统工程分会C3I工程与技术专业委员会年会
第三届全球智能控制与自动化大会
2005年中国模糊逻辑与计算智能联合学术会议
2003中国控制与决策学术年会
更多>>
相关外文会议
Custom VLSI Design and Test
Signal and information processing, networking and computers
Advances in Optical Information Processing VI
1993 International Joint Conference on Neural Networks, 1993. IJCNN '93-Nagoya, 1993
Scandinavian Workshop on Algorithm Theory; 20060706-08; Riga(LV)
Sarnoff Symposium, 2009. SARNOFF '09
2019 IEEE/ACM International Conference on Software and System Processes
Computational models of speech pattern processing
9th ACM SIGSOFT-SIGPLAN workshop on program analysis for software tools and engineering 2010
International Workshop on Internet and Network Economics(WINE 2005); 20051215-17; Hong Kong(CN)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
API Conformance Verification for Java Programs
机译:
Java程序的API一致性验证
作者:
Xin Li
;
H. James Hoover
;
Piotr Rudnicki
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
API conformance;
verification;
model checking;
exception;
2.
Automating Coinduction with Case Analysis
机译:
通过案例分析自动进行归纳
作者:
Eugen-Ioan Goriac
;
Dorel Lucanu
;
Grigore Rosu
会议名称:
《Formal methods and software engineering》
|
2010年
3.
A Formal Verification Study on the Rotterdam Storm Surge Barrier
机译:
鹿特丹风暴潮屏障的形式验证研究
作者:
Ken Madlener
;
Sjaak Smetsers
;
Marko van Eekelen
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
safety-critical systems;
lightweight formal methods;
PVS;
validation of specifications;
Z;
4.
Model-Driven Protocol Design Based on Component Oriented Modeling
机译:
基于面向组件建模的模型驱动协议设计
作者:
Prabhu Shankar Kaliappan
;
Hartmut Konig
;
Sebastian Schmerl
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
communications protocols;
UML based protocol development;
component based design;
formal semantics;
5.
Making Pattern- and Model-Based Software Development More Rigorous
机译:
使基于模式和模型的软件开发更加严格
作者:
Denis Hatebur
;
Maritta Heisel
会议名称:
《Formal methods and software engineering》
|
2010年
6.
Trace-Driven Verification of Multithreaded Programs
机译:
跟踪驱动的多线程程序验证
作者:
Zijiang Yang
;
Karem Sakallah
会议名称:
《Formal methods and software engineering》
|
2010年
7.
Practical Parameterised Session Types
机译:
实用的参数化会话类型
作者:
Andi Bejleri
会议名称:
《Formal methods and software engineering》
|
2010年
8.
Assume-Guarantee Reasoning with Local Specifications
机译:
带有本地规范的假设保证推理
作者:
Alessio Lomuscio
;
Ben Strulo
;
Nigel Walker
;
Peng Wu
会议名称:
《Formal methods and software engineering》
|
2010年
9.
Making the Right Cut in Model Checking Data-Intensive Timed Systems
机译:
正确选择模型检查数据密集型定时系统
作者:
Riidiger Ehlers
;
Michael Gerke
;
Hans-Jorg Peter
会议名称:
《Formal methods and software engineering》
|
2010年
10.
Reasoning about Safety and Progress Using Contracts
机译:
使用合同进行安全性和进度的推理
作者:
Imene Ben-Hafaiedh
;
Susanne Graf
;
Sophie Quinton
会议名称:
《Formal methods and software engineering》
|
2010年
11.
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP
机译:
使用CSP对fUML中建模的令牌者行为进行形式验证
作者:
Islam Abdelhalim
;
James Sharp
;
Steve Schneider
;
Helen Treharne
会议名称:
《Formal methods and software engineering》
|
2010年
12.
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
机译:
分布式实时系统的PALS架构模式的形式化和正确性
作者:
Jose Meseguer
;
Peter Csaba Olveczky
会议名称:
《Formal methods and software engineering》
|
2010年
13.
A Combination of Forward and Backward Reachability Analysis Methods
机译:
向前和向后可达性分析方法的组合
作者:
Kazuhiro Ogata
;
Kokichi Futatsugi
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
agreement property;
CafeOBJ;
bounded model checking;
falsification;
NSPK;
structural induction;
Maude;
14.
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network
机译:
受控前叉加入网络的稳态概率的闭合形式近似
作者:
Jonathan Billington
;
Guy Edward Gallasch
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Fork-Join;
Generalised Stochastic Petri Nets;
Parametric Performance Analysis;
Convergence;
Closed Form Approximation;
Geometric Progressions;
15.
Software Metrics in Static Program Analysis
机译:
静态程序分析中的软件指标
作者:
Andreas Vogelsang
;
Ansgar Fehnker
;
Ralf Huuck
;
Wolfgang Reif
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
software metrics;
static program analysis;
software quality;
software maintenance;
16.
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq
机译:
从Coq中的部分排序规范进行的按构造校正模型转换
作者:
Iman Poernomo
;
Jeffrey Terrell
会议名称:
《Formal methods and software engineering》
|
2010年
17.
Compensable WorkFlow Nets
机译:
可补偿工作流网
作者:
Fazle Rabbi
;
Hao Wang
;
Wendy MacCaull
会议名称:
《Formal methods and software engineering》
|
2010年
18.
An Improved Decision Procedure for Propositional Projection Temporal Logic
机译:
命题投影时间逻辑的改进决策程序
作者:
Zhenhua Duan
;
Cong Tian
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Propositional Projection Temporal Logic;
Satisfiability;
Decision Procedure;
Model Checking;
Verification;
19.
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition
机译:
将常微分方程应用于服务组合的绩效分析
作者:
Zuohua Ding
;
Hui Shen
;
Jing Liu
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Service composition;
BPEL;
performance analysis;
Petri net;
ordinary differential equation;
20.
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
机译:
验证带有未知过程调用的堆操作程序
作者:
Shengchao Qin
;
Chenguang Luo
;
Guanhua He
;
Florin Craciun
;
Wei-Ngan Chin
会议名称:
《Formal methods and software engineering》
|
2010年
21.
Fostering Proof Scores in CafeOBJ
机译:
在CafeOBJ中提高证明分数
作者:
Kokichi Putatsugi
会议名称:
《Formal methods and software engineering》
|
2010年
22.
Specification Translation of State Machines from Equational Theories into Rewrite Theories
机译:
状态机从方程理论到重写理论的规范转换
作者:
Min Zhang
;
Kazuhiro Ogata
;
Masaki Nakamura
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Algebraic specification;
automatic translation;
rewrite theory;
equational theory;
CafeOBJ;
Maude;
23.
Multicore Embedded Systems: The Timing Problem and Possible Solutions
机译:
多核嵌入式系统:时序问题和可能的解决方案
作者:
Wang Yi
会议名称:
《Formal methods and software engineering》
|
2010年
24.
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming
机译:
PVS背景理论和证明策略在不变式编程中的应用
作者:
Johannes Eriksson
;
Ralph-Johan Back
会议名称:
《Formal methods and software engineering》
|
2010年
25.
Alternating Interval Based Temporal Logics
机译:
基于交替间隔的时间逻辑
作者:
Cong Tian
;
Zhenhua Duan
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Temporal Logic;
Open Systems;
Model Checking;
Concurrent Game Structures;
Automata;
26.
A Pattern System to Support Refining Informal Ideas into Formal Expressions
机译:
支持将非正式思想提炼为形式表达的模式系统
作者:
Xi Wang
;
Shaoying Liu
;
Huaikou Miao
会议名称:
《Formal methods and software engineering》
|
2010年
27.
Enhanced Semantic Access to Formal Software Models
机译:
增强了对正式软件模型的语义访问
作者:
Hai H. Wang
;
Danica Damljanovic
;
Jing Sun
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Semantic Web;
OWL;
Formal Methods;
Z/Object-Z;
28.
Comparison of Model Checking Tools for Information Systems
机译:
信息系统模型检查工具的比较
作者:
Marc Frappier
;
Benoit Fraikin
;
Romain Chossart
;
Raphael Chane-Yack-Fa
;
Mohammed Ouenzar
会议名称:
《Formal methods and software engineering》
|
2010年
29.
Model Checking a Model Checker: A Code Contract Combined Approach
机译:
模型检查模型检查器:代码合同组合方法
作者:
Jun Sun
;
Yang Liu
;
Bin Cheng
会议名称:
《Formal methods and software engineering》
|
2010年
30.
Laws of Pattern Composition
机译:
模式组成定律
作者:
Hong Zhu
;
Ian Bayley
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Design patterns;
Pattern composition;
Formal methods;
Algebraic laws;
First order logic;
31.
Model Checking Hierarchical Probabilistic Systems
机译:
模型检查分层概率系统
作者:
Jun Sun
;
Songzheng Song
;
Yang Liu
会议名称:
《Formal methods and software engineering》
|
2010年
32.
Automated Multiparameterised Verification by Cut-Offs
机译:
通过截止自动进行多参数验证
作者:
Antti Siirtola
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
formal verification;
parameterised verification;
refinement;
process algebra;
cut-off;
33.
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
机译:
面向对象编程模型中的防止死锁的模块化方案
作者:
Scott West
;
Sebastian Nanz
;
Bertrand Meyer
会议名称:
《Formal methods and software engineering》
|
2010年
34.
On Symmetries and Spotlights —Verifying Parameterised Systems
机译:
论对称性和聚光灯—验证参数化系统
作者:
Nils Timm
;
Heike Wehrheim
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
symmetry reduction;
spotlight abstraction;
parameterised verification;
model checking;
35.
A Methodology for Automatic Diagnosability Analysis
机译:
自动诊断性分析的方法
作者:
Jonathan Ezekiel
;
Alessio Lomuscio
会议名称:
《Formal methods and software engineering》
|
2010年
36.
Automating Cut-off for Multi-parameterized Systems
机译:
多参数系统的自动截止
作者:
Youssef Hanna
;
David Samuelson
;
Samik Basu
;
Hridesh Rajan
会议名称:
《Formal methods and software engineering》
|
2010年
37.
Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors
机译:
流水线微处理器中软错误容忍机制的形式验证方法
作者:
Miroslav N. Velev
;
Ping Gao
会议名称:
《Formal methods and software engineering》
|
2010年
38.
Abstract Program Slicing: From Theory towards an Implementation
机译:
抽象程序切片:从理论到实现
作者:
Isabella Mastroeni
;
Durica Nikolic
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Program Slicing;
Semantics;
Program Analysis;
Abstract Interpretation;
39.
Loop Invariant Synthesis in a Combined Domain
机译:
组合域中的循环不变综合
作者:
Shengchao Qin
;
Guanhua He
;
Chenguang Luo
;
Wei-Ngan Chin
会议名称:
《Formal methods and software engineering》
|
2010年
40.
Proof Obligation Generation and Discharging for Recursive Definitions in VDM
机译:
VDM中递归定义的证明义务生成和排出
作者:
Augusto Ribeiro
;
Peter Gorm Larsen
会议名称:
《Formal methods and software engineering》
|
2010年
41.
Automatically Testing Web Services Choreography with Assertions
机译:
使用断言自动测试Web服务编排
作者:
Lei Zhou
;
Jing Ping
;
Hao Xiao
;
Zheng Wang
;
Geguang Pu
;
et al
会议名称:
《Formal methods and software engineering》
|
2010年
关键词:
Web Services;
WS-CDL;
Automatic Testing;
Choreography;
Symbolic Execution;
42.
A Semantic Model for Service Composition with Coordination Time Delays
机译:
协调时滞的服务组合语义模型
作者:
Natallia Kokash
;
Behnaz Changizi
;
Farhad Arbab
会议名称:
《Formal methods and software engineering》
|
2010年
43.
Decision Procedures for the Temporal Verification of Concurrent Lists
机译:
并发列表临时验证的决策程序
作者:
Alejandro Sánchez
;
César Sánchez
会议名称:
《Formal methods and software engineering》
|
2010年
44.
Exploiting Partial Success in Applying Automated Formal Methods
机译:
在运用自动化正式方法中获得部分成功
作者:
Matthew B. Dwyer
会议名称:
《Formal methods and software engineering》
|
2010年
45.
Dynamic Resource Reallocation between Deployment Components
机译:
部署组件之间的动态资源重新分配
作者:
Einar Broch Johnsen
;
Olaf Owe
;
Rudolf Schlatte
;
Silvia Lizeth Tapia Tarifa
会议名称:
《Formal methods and software engineering》
|
2010年
意见反馈
回到顶部
回到首页