掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE International Conference on Software Engineering and Formal Methods
IEEE International Conference on Software Engineering and Formal Methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
机译:
单独的列表理论及其可扩展决策程序
作者:
Calogero Zarba
;
Silvio Ranise
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
2.
Retrenchment Tutorial
机译:
裁员教程
作者:
Banach R.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
3.
Harnessing Disruptive Innovation in Formal Verification
机译:
在正式验证中利用破坏性创新
作者:
John Rushby
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
4.
Specifying Data-Flow Requirements for the Automated Composition of Web Services
机译:
为网络服务的自动组成指定数据流量要求
作者:
Annapaola Marconi
;
Marco Pistore
;
Paolo Traverso
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
5.
Requirements Modeling - Experience from an Insurance project
机译:
要求建模 - 保险项目的经验
作者:
G. Murali Krishna
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
6.
A PVS based Framework for Validating Compiler Optimizations
机译:
基于PVS的框架,用于验证编译器优化
作者:
Aditya Kanade
;
Amitabha Sanyal
;
Uday Khedker
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
7.
Product automata and process algebra
机译:
产品自动机和工艺代数
作者:
Kamal Lodaya
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
8.
ASEHA: A Framework for Modelling and Verification of Web Services Protocols
机译:
ASEHA:一个用于网络服务协议的建模和验证的框架
作者:
Pemadeep Ramsokul
;
Arcot Sowmya
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
9.
Filtering Retrenchments into Refinements
机译:
将retrench分解为细化
作者:
Richard Banach
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
10.
A Model for Temporal relations between Object Roles
机译:
对象角色的时间关系模型
作者:
G. Naresh
;
B. D. Chaudhary
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
关键词:
Role;
Role-oriented modelling;
Temporal role relation graph;
Framework;
11.
Describing and executing random reactive systems
机译:
描述和执行随机反应系统
作者:
Pascal Raymond
;
Erwan Jahier
;
Yvan Roux
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
12.
Discern: Towards the Automatic Discovery of Software Contracts
机译:
辨别:朝向自动发现软件合同
作者:
Yishai A. Feldman
;
Leon Gendler
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
13.
Formal Modelling and Verification of an Asynchronous DLX Pipeline
机译:
异步DLX管道的正式建模与验证
作者:
Hemangee K. Kapoor
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
14.
Modeling Heterogeneous Real-time Components in BIP
机译:
在BIP中建模异构实时分量
作者:
Ananda Basu
;
Marius Bozga
;
Joseph Sifakis
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
15.
Jose: Aspects for Design by Contract
机译:
何塞:合同设计方面
作者:
Ohad Barzilay
;
Shmuel Tyszberowicz
;
Yishai A. Feldman
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
16.
Integrating Object-Oriented Design and Deductive Verification of Software
机译:
集成面向对象的设计和软件的演绎验证
作者:
Beckert B.
;
Hahnle R.
;
Schmitt P.H.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
17.
Declarative Performance Modeling for Component-based System using UML Profile for Schedulability, Performance and Time
机译:
基于组件的系统的声明性能模型使用UML配置文件进行调度,性能和时间
作者:
Yong Zhang
;
Tao Huang
;
Jun Wei
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
18.
Composing Context Sensitive Analysis
机译:
组合上下文敏感分析
作者:
Prahladavaradan Sampath
;
Shrawan Kumar
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
19.
On Bisimilarities Induced by Relations on Actions
机译:
关于行动关系诱导的双模性
作者:
S. Arun-Kumar
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
20.
Computing Complete Test Graphs for Hierarchical Systems
机译:
计算层次系统的完整测试图
作者:
Deepak DSouza
;
Madhu Gopinathan
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
21.
Automatic Property Checking for Software: Past, Present and Future
机译:
软件检查软件:过去,现在和未来
作者:
Sriram K. Rajamani
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
22.
Tutorial: Automated Formal Methods with PVS, SAL, and Yices
机译:
教程:具有PVS,SAL和YICE的自动化正式方法
作者:
Rushby J.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
23.
Static Analysis of Programs: A Heap Centric View
机译:
程序静态分析:堆中心的视图
作者:
Khedker U.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
24.
A rigorous approach to requirements validation
机译:
一种严格的要求验证方法
作者:
Ashok Sreenivas
;
R. Venkatesh
;
Srihari Sukumaran
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
25.
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids
机译:
使用计算网格的状态空间探索的任务袋方法
作者:
Cassio L. Rodrigues
;
Paulo E. S. Barbosa
;
Jairson M. Cabral
;
Jorge C. A. de Figueiredo
;
Dalton D. S. Guerrero
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
26.
VPA-based aspects: better support for AOP over protocols
机译:
基于VPA的方面:更好地支持AOP通过协议
作者:
Dong Ha Nguyen
;
Mario Sudholt
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
27.
A PVS Based Framework for Validating Compiler Optimizations
机译:
基于PVS的框架,用于验证编译器优化
作者:
Kanade A.
;
Sanyal A.
;
Khedker U.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
28.
The Context of Object Computation (extended abstract)
机译:
对象计算的背景(扩展摘要)
作者:
Meyer B.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
29.
The Context of Object Computation
机译:
对象计算的背景
作者:
Bertrand Meyer
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
30.
Verification of JAVA CARD Applets Behavior with respect to Transactions and Card Tears
机译:
验证Java Card小程序行为的交易和卡片撕裂
作者:
Claude Marche
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
关键词:
Formal verification;
JML;
JAVA CARD applets;
Transactions;
Card Tears;
Non-atomic methods;
31.
A Formal Model of Context-Awareness and Context-Dependency
机译:
语境意识和上下文依赖性的正式模型
作者:
Mats Neovius
;
Kaisa Sere
;
Lu Yan
;
M. Satpathy
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
32.
Formalizing AspectJ Weaving for Static Pointcuts
机译:
正式化方面织物为静态皮点编织
作者:
Nadia Belblidia
;
Mourad Debbabi
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
33.
A Semi-Automatic Methodology for Repairing Faulty Web Sites
机译:
用于修复故障网站的半自动方法
作者:
Maria Alpuente
;
Moreno Falaschi
;
Daniel Romero
;
Demis Ballis
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2006年
34.
Specialized Aspect Languages Preserving Classes of Properties
机译:
专门的方面语言保留属性的类
作者:
Djoko Simplice Djoko
;
Douence R
;
mi
;
Fradet Pascal
;
#x0E9
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Aspect Oriented Programming languages;
proofs;
semantics;
temporal properties;
35.
Nullness Analysis in Boolean Form
机译:
布尔表格中的零效应分析
作者:
Spoto Fausto
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Boolean formulas;
abstract interpretation;
null pointer;
nullness analysis;
static analysis;
36.
A Generalized Model-Based Test Generation Method
机译:
基于广义模型的试验方法
作者:
#x0E3
;
#x0E1
;
Bonif
;
cio Adilson Luiz
;
Moura Arnaldo Vieira
;
Sim
;
o Adenilso da Silva
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Generalized Test Generation;
Model-based testing;
m-complete test suite;
37.
Tools for CSP
机译:
CSP的工具
作者:
Roggenbach Markus
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
CSP;
Process Algebra;
Theorem Proving;
38.
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes
机译:
PED:通过程序错误的三角测量验证错误诊断
作者:
Balakrishnan Gogul
;
Ganai Malay
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Abstract Interpretation;
Error Diagnosis;
Fault Localization;
Model Checking;
Program Repair;
Static Analysis;
39.
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
机译:
一种快速算法来计算Java卡小程序的堆内存界
作者:
Pham Tuan-Hung
;
Truong Anh-Hoang
;
Truong Ninh-Thuan
;
Chin Wei-Ngan
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Java Card;
Static analysys;
heap bound;
40.
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
机译:
使用正式验证来减少容错程序的测试空间
作者:
Xavier Kleber S.
;
Hanazumi Simone
;
de Melo Ana C. V.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
41.
Tagging Make Local Testing of Message-Passing Systems Feasible
机译:
标记使邮件传递系统的局部测试可行
作者:
Bhateja Puneet
;
Mukund Madhavan
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Local testing;
bounded time-stamping;
implied scenarios;
message sequence charts;
message-passing systems;
42.
Extending Stream X-Machines to Specify and Test Systems with Timeouts
机译:
扩展流X-Machines以指定和测试系统的超时
作者:
Merayo Mercedes G.
;
Hierons Robert M.
;
Nauthor_name/
;
ez Manuel
;
#x0F1
;
#x0FA
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Formal Methods;
Stream X-Machines;
Testing;
Timeouts;
43.
Behaviour Directed Testing of Auto-code Generators
机译:
自动代码生成器的行为指示测试
作者:
Sampath Prahladavaradan
;
Rajeev A. C.
;
Ramesh S.
;
Shashidhar K. C.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Auto-code generator;
Automatic test-case generation;
Behavioural test specification;
Semantics;
Stateflow;
44.
Cheap and Small Counterexamples
机译:
廉价和小的反应物
作者:
Hansen Henri
;
Geldenhuys Jaco
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Counterexamples;
Model Checking;
algorithms;
45.
Modelling Rational User Behaviour as Games between an Angel and a Demon
机译:
将Rational用户行为建模为天使和恶魔之间的游戏
作者:
Ruk
;
enas Rimvydas
;
Curzon Paul
;
Blandford Ann
;
#154
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
46.
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
机译:
基于分支时间近似的持续时间微积分的有效模型检查
作者:
Fr
;
nzle Martin
;
Hansen Michael R.
;
#x0E4
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Duration calculus;
branching-time approximations;
model checking;
47.
Algebraic View Reconciliation
机译:
代数视图和解
作者:
H
;
fner Peter
;
Khedri Ridha
;
M
;
ller Bernhard
;
#x0F6
;
#x0F6
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
algebra;
multiviews;
requirements;
specification;
view reconciliation;
48.
Speci?cation-Based Testing for Software Product Lines
机译:
特定?基于阳离子的软件产品线测试
作者:
Kahsai Temesghen
;
Roggenbach Markus
;
Schlingloff Bernd-Holger
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
49.
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking
机译:
隐藏在完整性漏洞中的信息:代码混淆和水印中的新视角
作者:
Giacobazzi Roberto
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Code obfuscation;
abstract interpretation;
semantics;
software watermarking;
static analysis;
50.
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
机译:
基于模型的自适应嵌入式系统验证的组成推理
作者:
Schaefer Ina
;
Poetzsch-Heffter Arnd
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Adaptive Embedded Systems;
Compositional Reasoning;
Formal Verification;
Model-based Development;
51.
Flash-Efficient LTL Model Checking with Minimal Counterexamples
机译:
快速高效的LTL模型检查,具有最小的EnterneExamples
作者:
Edelkamp Stefan
;
Sulewski Damian
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Flash Memory;
LTL Model Checking;
Minimal Counterexample;
SSD;
Solid State Disk;
52.
Abstract Interpretation in Code Security
机译:
代码安全中的抽象解释
作者:
Giacobazzi Roberto
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
53.
Widening Operators for Abstract Interpretation
机译:
扩大运营商进行抽象解释
作者:
Cortesi Agostino
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Abstract Domains;
Abstract Interpretation;
Static Analysis;
Widening Operators;
54.
Extracting Conditional Confidentiality Policies
机译:
提取条件保密政策
作者:
Tschantz Michael Carl
;
Wing Jeannette M.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
confidentiality;
noninterference;
55.
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover
机译:
使用定理箴言的延长有限状态机的正式变化分析
作者:
Guo Bo
;
Subramaniam Mahadevan
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Communicating Systems;
Extended Finite State Machines;
Theorem proving;
56.
Preservation of Proof Pbligations for Hybrid Verification Methods
机译:
混合验证方法的保存证据Pligations
作者:
Barthe Gilles
;
Kunz C
;
sar
;
Pichardie David
;
Samborski-Forlese Juli
;
n
;
#x0E9
;
#x0E1
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Compilation;
Program Verification;
Proof Carrying Code;
57.
Laws of Object-Orientation with Reference Semantics
机译:
与参考语义的面向对象定律
作者:
Silva Leila
;
Sampaio Augusto
;
Liu Zhiming
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Object-oriented languages. Reference semantics;
Programming laws;
58.
CRefine: Support for the Circus Refinement Calculus
机译:
莱斯:支持马戏团细分微积分
作者:
Oliveira M. V. M.
;
Gurgel A. C.
;
Castro C. G.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Circus;
Refinement Calculus;
Tool Support;
59.
Ontology-Based Automatic Model Transformations
机译:
基于本体的自动模型变换
作者:
Geihs Kurt
;
Baer Philipp
;
Reichle Roland
;
Wollenhaupt Jens
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
model transformation;
model-driven development;
ontology;
60.
Behavioral Compatibility of Active Components
机译:
活动组件的行为兼容性
作者:
Hammal Youcef
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Behavioral Compatibility of Components;
Composability of Components;
Formal Methods;
Time Consistency;
61.
Contract-Based Verification of Hierarchical Systems of Components
机译:
基于合同的组件分层系统验证
作者:
Quinton Sophie
;
Graf Susanne
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
62.
Static Analysis of the Determinism of Multithreaded Programs
机译:
多线程课程确定主义的静态分析
作者:
Ferrara Pietro
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Abstract Interpretation;
Multithreading;
Static Analysis;
63.
Restricted Broadcast Process Theory
机译:
受限制的广播过程理论
作者:
Ghassemi Fatemeh
;
Fokkink Wan
;
Movaghar Ali
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
ad hoc networks;
formal verification;
process algebra;
64.
Bridging the Gap between Interaction- and Process-Oriented Choreographies
机译:
弥合相互作用和以过程为导向的编织之间的差距
作者:
Lanese Ivan
;
Guidi Claudio
;
Montesi Fabrizio
;
Zavattaro Gianluigi
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Choreography;
Service Oriented Computing;
bisimilarity;
calculi;
conformance;
65.
Verification-Based Test Case Generation for Full Feasible Branch Coverage
机译:
基于验证的测试用例,用于全部可行分支覆盖范围
作者:
Gladisch Christoph
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Branch Coverage;
Dynamic Logic;
Java;
Precondition;
Specification-based Testing;
Verification-based Testing;
White-box Testing;
66.
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
机译:
具有能量限制的测量和调度时间关键嵌入式系统的环境
作者:
Tavares Eduardo
;
Silva Bruno
;
Maciel Paulo
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
67.
Modeling Component Connectors: Synchronisation and Context-Dependency
机译:
建模组件连接器:同步和上下文依赖性
作者:
Izadi Mohammad
;
Bonsangue Marcello M.
;
Clarke Dave
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
68.
Generation of Service Wrapper Protocols from Choreography Specifications
机译:
从编排规范中生成服务包装器协议
作者:
Sala
;
n Gwen
;
#x0FC
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
69.
Object Models with Temporal Constraints
机译:
具有时间约束的对象模型
作者:
Cimatti Alessandro
;
Roveri Marco
;
Susi Angelo
;
Tonetta Stefano
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
70.
Checking Interface Interaction Protocols Using Aspect-Oriented Programming
机译:
使用面向方面的编程检查界面交互协议
作者:
Truong Anh-Hoang
;
Trinh Thanh-Binh
;
Van Hung Dang
;
Nguyen Viet-Ha
;
Trang Nguyen Thi Thu
;
Hung Pham Dinh
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
AOP;
interface protocol;
runtime verification;
71.
Testing Privacy Policies Using Models
机译:
使用模型测试隐私政策
作者:
Salas Percy Pari
;
Krishnan Padmanabhan
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
Model based testing;
Privacy;
72.
Formal Methods and Innovation Economy: Facing New Challenges
机译:
正式方法与创新经济:面临新挑战
作者:
Petrenko Alexander K.
;
Petrenko Olga L.
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
formal methods;
knowledge based economy;
73.
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge
机译:
基于Tableau的决定程序,为多种Agent认知逻辑与共同和分布式知识的运营商
作者:
Goranko Valentin
;
Shkatov Dmitry
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2008年
关键词:
decision procedures;
multi-agent epistemic logics;
multi-agent systems;
tableaux;
74.
Property-Driven Scenario Integration
机译:
属性驱动的方案集成
作者:
Jewgenij Botaschanjan
;
Alexander Harhurin
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Scenario Integration;
Automated Scenario Prioritization;
Feature Interaction;
Model Merging;
Controller Synthesis;
75.
An automated approach to verifying diagnosability in multi-agent systems
机译:
一种自动化方法,可以在多算机系统中验证诊断
作者:
Jonathan Ezekiel
;
Alessio Lomuscio
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Model checking;
Fault tolerance;
Fault injection;
Epistemic logic;
76.
Modal Contracts for Component-based Design
机译:
基于组件的设计的模态合同
作者:
Gregor Goessler
;
Jean-Baptiste Raclet
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Component-based design;
Contract;
Modalities;
Composition;
77.
Completeness of Pointer Program Verification by Separation Logic
机译:
通过分离逻辑的指针程序验证的完整性
作者:
Makoto Tatsuta
;
Wei-Ngan Chin
;
Mahmudul Faisal Al Ameen
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
78.
Specifying and Checking Refinement Relationships in VDM++
机译:
在VDM ++中指定和检查细化关系
作者:
Yojiro Kawamata
;
Christian Sommer
;
Fuyuki Ishikawa
;
Shinichi Honiden
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
79.
Precise Model-Driven Transformations Based on Graphs and Metamodels
机译:
基于图形和元模型的精确模型驱动的变换
作者:
Duc-Hanh Dang
;
Martin Gogolla
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Model-Driven Transformation;
Object Constraint Language (OCL);
Graph Transformation;
Invariant;
Pre- and Postcondition;
80.
Event-B Patterns and Their Tool Support
机译:
Event-B模式及其工具支持
作者:
Thai Son Hoang
;
Andreas Furst
;
Jean-Raymond Abrial
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Event-B;
Design patterns;
Reuse;
81.
Implementation Correctness of a Real-Time Operating System
机译:
实时操作系统的实现正确性
作者:
Matthias Daum
;
Norbert W. Schirmer
;
Mareike Schmidt
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Real-Time Operating System;
Pervasive Verification;
Refinement Proof;
C Code Verification;
Isabelle/HOL;
82.
Ontology-based Reasoning in Requirements Elicitation
机译:
基于本体的要求诱因
作者:
Dang Viet Dzung
;
Atsushi Ohnishi
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Domain ontology;
Requirements elicitation;
83.
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
机译:
调整后的循环验证规则更加完整并为更少的诊断提供更好的诊断
作者:
Patrice Chalin
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Hoare Logic;
Static loop verification;
Unstructured loops;
Side-effects;
ESC;
Java;
84.
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques
机译:
使用概率模型检查来评估GUI测试技术
作者:
Cristiano Bertolini
;
Alexandre Mota
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
85.
A computability perspective on self-modifying programs
机译:
自我修改程序的计算性透视
作者:
Guillaume Bonfante
;
Jean-Yves Marion
;
Daniel Reynaud-Plantey
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Self-modifying code;
Semantics;
Computability;
Virus;
Obfuscation;
86.
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
机译:
通过多个范式对实时系统进行集成建模和验证
作者:
Marcello M. Bersani
;
Carlo A. Furia
;
Matteo Pradella
;
Matteo Rossi
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Metric temporal logic;
Timed Petri nets;
Timed automata;
Discretization;
Dense time;
Bounded model checking;
87.
Refinement via interpretation
机译:
通过解释改进
作者:
Manuel A. Martins
;
Alexandre Madeira
;
L. S. Barbosa
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Algebraic specification;
Refinement;
Logic interpretation;
88.
Larva - Safer Monitoring of Real-Time Java Programs (Tool Paper)
机译:
Larva - 更安全监控实时Java程序(工具纸)
作者:
Christian Colombo
;
Gordon J. Pace
;
Gerardo Schneider
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
89.
Software Verification and System Assurance
机译:
软件验证和系统保证
作者:
John Rushby
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Formal verification;
Assurance;
Reliability;
Probabilistic assessment;
Possible perfection;
90.
Overflow and Roundoff Error Analysis via Model Checking
机译:
通过模型检查溢出和循环错误分析
作者:
Do Thi Bich Ngoc
;
Mizuhito Ogawa
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Program analysis;
Model checking;
Roundoff error;
Overflow error;
Affine interval;
91.
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
机译:
右命题邻域逻辑逻辑超过自然数字,间隔长度为整数约束
作者:
Davide Bresolin
;
Valentin Goranko
;
Angelo Montanari
;
Guido Sciavicco
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
92.
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences
机译:
使用自适应和预设区分序列检查序列施工
作者:
Robert M. Hierons
;
Guy-Vincent Jourdan
;
Hasan Ural
;
Husnu Yenigun
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
93.
Heuristic Sensitivity in Guided Random-Walk Based Model Checking
机译:
基于随机播放模型检查的启发式敏感性
作者:
Thang H. Bui
;
Albert Nymeyer
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
94.
Formal Modeling and Analysis of an IETF Multicast Protocol
机译:
IETF多播协议的正式建模与分析
作者:
Elisabeth Lien
;
Peter Csaba Olveczky
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
95.
Checkmate: a Generic Static Analyzer of Java Multithreaded Programs
机译:
checkmate:Java多线程程序的通用静态分析仪
作者:
Pietro Ferrara
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Static Analysis;
Abstract Interpretation;
Multithreaded Programs;
96.
Using Change Impact Analysis to Select Tests for Extended Finite State Machines
机译:
使用更改影响分析选择扩展有限状态机的测试
作者:
Mahadevan Subramaniam
;
Bo Guo
;
Zoltan Pap
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Software Evolution and Maintenance;
Regression Testing;
Theorem proving;
Extended Finite State Machines;
97.
Simulation relations for systems with distributed interfaces
机译:
分布式接口系统的模拟关系
作者:
Robert M. Hierons
;
Manuel Nunez
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
98.
Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol
机译:
应用正式被动测试以研究流控制传输协议的时间特性
作者:
Cesar Andres
;
Mercedes G. Merayo
;
Manuel Nunez
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
99.
Relational interprocedural verification of concurrent programs
机译:
并发计划的关系验证
作者:
Bertrand Jeannet
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
100.
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables
机译:
基于流I / O表的反应系统的行为规范
作者:
Benjamin Hummel
;
Judith Thyssen
会议名称:
《IEEE International Conference on Software Engineering and Formal Methods》
|
2009年
关键词:
Tabular specification;
Consistency;
Streams;
意见反馈
回到顶部
回到首页