掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Fundamental Approaches to Software Engineering
International Conference on Fundamental Approaches to Software Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
What is `mathematicalness' in software engineering?-Towards precision software engineering
机译:
软件工程中的“数学”是什么?-Towards精密软件工程
作者:
Hidetaka Kondoh
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
2.
Specification of an automatic manufacturing system: a case study in using integrated formal methods
机译:
自动制造系统规范:使用综合形式方法的案例研究
作者:
Heike Wehrheim
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
3.
Foundations for software configuration management policies using graph transformations
机译:
使用图形转换的软件配置管理策略的基础
作者:
Francesco parisi-Presice
;
Alexander L.Wolf
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
4.
A formal approach to heterogeneous software modeling
机译:
异构软件建模的正式方法
作者:
Alexander Egyed
;
Nenadmedivdovic
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
5.
Essay on software engineering at the turn of century
机译:
在世纪转折点的软件工程论文
作者:
Wladysalaw M.Turski
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
6.
Formal System Development with KIV
机译:
与KIV的正式系统开发
作者:
Michael Balser
;
Wolfgang Reif
;
Gerhard Schellhorn
;
Kurt Stenzel
;
Andreas Thums
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
7.
More about TAS and IsaWin-tools for formal program development
机译:
关于正式计划开发的TAS和Isawin工具更多
作者:
Christoph Luth
;
Burkhart Wolff
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
8.
Analysis UML active classes and associated state machines-a lightweight formal approach
机译:
分析UML有源类和相关状态机 - 轻量级的正式方法
作者:
G.Reggio
;
E.Astesiano
;
C.Choppy
;
H.Hussmann
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
9.
Using domain-specific languages for the realization of component composition
机译:
使用域特定语言来实现组件组成
作者:
Matthias Anlauff
;
Philipp W.Kutter
;
Alfonso Pierantonio
;
Asuman Sumbul
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
10.
Ready-simulation is not ready to express a modular refinement relation
机译:
准备模拟尚未准备好表达模块化的细化关系
作者:
Francoise Bellegarde
;
jacques Julliand
;
Olga Kouchnarenko
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
11.
Software as learning: quality factors and life-cycle revised
机译:
软件作为学习:修订的质量因素和生命周期
作者:
Jose Hernandez-Orallo
;
M.Jose Ramirez-Quintana
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
12.
A case study on using automata in control synthesis
机译:
使用自动机控制合成中的案例研究
作者:
Thomas Hue
;
anders Sandholm
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
13.
Verification of object oriented programs using class invariants
机译:
使用类不变验证面向对象的程序
作者:
Kees Huizingp
;
Ruurd Kuiper
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
14.
Applying RT-Z to develop safety-critical systems
机译:
应用RT-Z开发安全关键系统
作者:
Carsten Suhl
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
15.
Java program verification via a hoare logic with abrupt termination
机译:
Java计划通过HOARE逻辑进行验证,突然终止
作者:
Markek Huisman
;
Bart Jacobs
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
16.
Analyzing non-functional properties of mobile agents
机译:
分析移动代理的非功能性质
作者:
Pascal Fradet
;
Valerie issarny
;
Siegfried Rouvrais
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
17.
Using Maude
机译:
使用Maude
作者:
Manuel Clavel
;
Fransisco Duran
;
Steven Eker
;
Patrick Lincoln
;
Narciso Marti-Oliet
;
Jose meseguer
;
Jose F.Quesada
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
18.
A process algebra for real-time programs
机译:
实时计划的过程代数
作者:
Henning Dierks
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
19.
A model for describing object-oriented systems from multiple perspectives
机译:
一种模型,用于从多个角度描述面向对象系统的模型
作者:
Torsten Nelson
;
Donald Cowan
;
Paulo alencar
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
20.
Memex is not enough
机译:
memex是不够的
作者:
Richard Mark Soley
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
21.
From play-in scenarios to code: an achievable dream (preliminary version, january 2000)
机译:
从播放方案到代码:可实现的梦想(初版版本,2000年1月)
作者:
David harel
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
22.
Verification of object-Z specifications by using transition systems: application to the radiomobile network design problem
机译:
使用过渡系统验证对象-Z规格:应用于RadioMobile网络设计问题
作者:
Rablo Gruer
;
Vincent Hilaire
;
Abder Koukam
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
23.
Formal specification of object-oriented meta-modelling
机译:
面向对象元建模的正式规范
作者:
Gunnar Overgaard
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
24.
Structuring and design of reactive systems using RSDS and B
机译:
使用RSD和B的反应系统的结构和设计
作者:
K.lano
;
K.androutsopoulos
;
D.Colark
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
25.
Parallel refinement mechanisms for real-time systems
机译:
实时系统的并行改进机制
作者:
Paul Z.Kolano
;
Richard A.Kemmerer
;
Dino Mandrioli
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
26.
System fault tolerance specification: proposal of a method combining semi-formal and formal approaches
机译:
系统容错规范:采用半正规和正式方法的方法提案
作者:
Giovanna Donsossola
;
Oliver Botti
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
27.
More About TAS and IsaWin -- Tools for Formal Program Development
机译:
更多关于TAS和Isawin - 正式计划开发的工具
作者:
Christoph Luth
;
Burkhart Wolff
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
28.
Stepwise introduction and preservation of safety properties in algebraic high-level net systems
机译:
代数高级网系统中的安全性能逐步引入和保存
作者:
J.Padberg
;
K.Hoffmann
;
M.Gajewsky
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2000年
关键词:
algebraic high-level net systems;
rule-based refinement;
temporal logic;
safety properties;
safety preserving morphisms;
safety introducing rules;
safety preserving rules;
29.
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings
机译:
异步讨论对远程同步需求会议影响的实证研究
作者:
Daniela Damian
;
Filippo Lanubile
;
Teresa Mallardo
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
30.
Automated Systematic Testing of Open Distributed Programs
机译:
开放分布式程序的自动系统测试
作者:
Koushik Sen
;
Gul Agha
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
31.
A Technique to Represent and Generate Components in MDA/PIM for Automation
机译:
一种在MDA / PIM中表示和生成自动化的技术
作者:
Hyun Gi Min
;
Soo Dong Kim
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
32.
Engineering Self-protection for Autonomous Systems
机译:
自主系统工程自我保护
作者:
Manuel Koch
;
Karl Pauls
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
33.
A Software Implementation Progress Model
机译:
软件实现进度模型
作者:
Dwayne Towell
;
Jason Denton
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
34.
The Pervasiveness of Global Data in Evolving Software Systems
机译:
在不断发展的软件系统中的全局数据的普遍性
作者:
Fraser P. Ruffell
;
Jason W.A. Selby
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
35.
Amplifying the Benefits of Design Patterns: From Specification Through Implementation
机译:
放大设计模式的好处:通过实施的规范
作者:
Jason O. Hallstrom
;
Neelam Soundarajan
;
Benjamin Tyler
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
36.
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
机译:
从故障通过测试目的来测试案例:关于基于故障的并发系统测试
作者:
Bernhard K. Aichernig
;
Carlo Corrales Delgado
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
37.
A Behavioral Model for Software Containers
机译:
软件容器的行为模型
作者:
Nigamanth Sridhar
;
Jason O. Hallstrom
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
38.
GPSL: A Programming Language for Service Implementation
机译:
GPSL:用于服务实现的编程语言
作者:
Dominic Cooney
;
Marlon Dumas
;
Paul Roe
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
39.
Trace-Based Memory Aliasing Across Program Versions
机译:
跨程序版本的基于跟踪内存别名
作者:
Murali Krishna Ramanathan
;
Suresh Jagannathan
;
Ananth Grama
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
40.
Automated Support for Building Behavioral Models of Event-Driven Systems
机译:
用于建立事件驱动系统的行为模型的自动支持
作者:
Benet Devereux
;
Marsha Chechik
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
41.
Relation of Code Clones and Change Couplings
机译:
代码克隆和改变联轴器的关系
作者:
Reto Geiger
;
Beat Fluri
;
Harald C. Gall
;
Martin Pinzger
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
42.
A Graph-Based Approach to Transform XML Documents
机译:
基于图形的转换XML文档的方法
作者:
Gabriele Taentzer
;
Giovanni Toffetti Carughi
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
43.
Software Engineering: Emerging Goals and Lasting Problems
机译:
软件工程:新兴目标和持久问题
作者:
Carlo Ghezzi
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
44.
OMake: Designing a Scalable Build Process
机译:
OMAKE:设计可扩展的构建过程
作者:
Jason Hickey
;
Aleksey Nogin
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
45.
Fundamentals of Debugging Using a Resolution Calculus
机译:
使用分辨率微积分调试的基本原理
作者:
Daniel Kob
;
Franz Wotawa
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
46.
LearnLib: A Library for Automata Learning and Experimentation
机译:
LearnLib:自动机学习和实验的库
作者:
Harald Raffelt
;
Bernhard Steffen
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
47.
Using Design Metrics for Predicting System Flexibility
机译:
使用设计指标来预测系统灵活性
作者:
Robby
;
Scott A. DeLoach
;
Valeriy A. Kolesnikov
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
48.
Evaluation of Expected Software Quality: A Customer’s Viewpoint
机译:
评估预期的软件质量:客户的观点
作者:
Krzysztof Sacha
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
49.
Concerned About Separation
机译:
关注分离
作者:
Hafedh Mili
;
Houari Sahraoui
;
Hakim Lounis
;
Hamid Mcheick
;
Amel Elkharraz
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
50.
Regular Inference for State Machines with Parameters
机译:
具有参数的状态机定期推断
作者:
Therese Berg
;
Bengt Jonsson
;
Harald Raffelt
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
51.
JAG: JML Annotation Generation for Verifying Temporal Properties
机译:
i:JML注释生成,用于验证时间属性
作者:
Alain Giorgetti
;
Julien Groslambert
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
52.
A Programming Model for Service Oriented Applications
机译:
面向服务应用程序的编程模型
作者:
Francisco Curbera
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
53.
Automatic Generation of Tutorial Systems from Development Specification
机译:
从开发规范自动生成教程系统
作者:
Hajime Iwata
;
Junko Shirogane
;
Yoshiaki Fukazawa
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
54.
Combining Problem Frames and UML in the Description of Software Requirements
机译:
将问题帧和UML结合在软件要求的描述中
作者:
Luigi Lavazza
;
Vieri Del Bianco
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
55.
A Formal Approach to Event-Based Architectures
机译:
基于事件的架构的正式方法
作者:
José Luiz Fiadeiro
;
Antónia Lopes
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
56.
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
机译:
实时MAEDE中现金调度算法的正式模拟与分析
作者:
Peter Csaba Olveczky
;
Marco Caccamo
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
57.
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts
机译:
好的,坏和丑陋的:Live Sequence图表的良好形成
作者:
Bernd Westphal
;
Tobe Toben
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
58.
Argus: Online Statistical Bug Detection
机译:
ARGUS:在线统计错误检测
作者:
Long Fei
;
Kyungwoo Lee
;
Fei Li
;
Samuel P. Midkiff
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
59.
Algebraic Specification of a Model Transformation Engine
机译:
模型变换引擎的代数规范
作者:
Artur Boronat
;
José á. Carsí
;
Isidro Ramos
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2006年
60.
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
机译:
基于动态帧的Java类似程序的自动验证者
作者:
Jan Smans
;
Bart Jacobs
;
Frank Piessens
;
Wolfram Schulte
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
61.
Formal Approach to Integrating Feature and Architecture Models
机译:
集成功能和架构模型的正式方法
作者:
Mikolas Janota
;
Goetz Botterweck
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
62.
A Formal Framework for Developing Adaptable Service-Based Applications
机译:
用于开发适应适应的服务的应用程序的正式框架
作者:
Leen Lambers
;
Leonardo Mariani
;
Hartmut Ehrig
;
Mauro Pezze
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
63.
Towards Faithful Model Extraction Based on Contexts
机译:
基于背景下的忠实模型提取
作者:
Lucio Mauro Duarte
;
Jeff Kramer
;
Sebastian Uchitel
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
64.
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
机译:
基于语言的传感器驱动分布式计算应用优化
作者:
Jonathan J. Davies
;
Alastair R. Beresford
;
Alan Mycroft
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
65.
HOL-OCL: A Formal Proof Environment for UML/OCL
机译:
HOL-OCL:UML / OCL的正式证明环境
作者:
Achim D. Brucker
;
Burkhart Wolff
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
HOLOCL;
UML;
OCL;
Formal Method;
Theorem Proving;
66.
Correctness-Preserving Configuration of Business Process Models
机译:
业务流程模型的正确保留配置
作者:
Wil M. P. van der Aalst
;
Marlon Dumas
;
Florian Gottschalk
;
Arthur H. M. ter Hofstede
;
Marcello La Rosa
;
Jan Mendling
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
Reference process model;
Model configuration;
Petri net;
67.
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
机译:
用于自动组成的分布式行为适应语义服务
作者:
Tarek Melliti
;
Pascal Poizat
;
Sonia Ben Mokhtar
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
Model-Based Adaptation;
Behavioural Adaptation;
Semantic Adaptation;
Services;
Input Output Labelled Transition Systems;
68.
What's in a Feature: A Requirements Engineering Perspective
机译:
特征中的内容:需求工程视角
作者:
Andreas Classen
;
Patrick Heymans
;
Pierre-Yves Schobbens
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
69.
Software Quality Improvement Via Pattern Matching
机译:
通过模式匹配的软件质量改进
作者:
Radu Kopetz
;
Pierre-Etienne Moreau
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
70.
Modelling and Verificationof Timed Interaction and Migration
机译:
定时交互和迁移建模与验证
作者:
Gabriel Ciobanu
;
Maciej Koutny
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
mobility;
timers;
process algebra;
high-level petri nets;
compositional translation;
behavioural consistency;
71.
An Algebraic Semantics for MOF
机译:
MOF的代数语义
作者:
Artur Boronat
;
Jose Meseguer
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
MOF;
Model-driven development;
Membership equational logic;
Metamodeling semantics;
Reflection;
72.
Automated Analysis of Permission-Based Security Using UMLsec
机译:
使用UMLSEC自动分析基于许可的安全性
作者:
Jan Jurjens
;
Jorg Schreck
;
Yijun Yu
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
73.
Regular Inference for State Machines Using Domains with Equality Tests
机译:
使用具有平等测试的域的状态机定期推断
作者:
Therese Berg
;
Bengt Jonsson
;
Harald Raffelt
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
74.
When Things Go Wrong: Interrupting Conversations
机译:
当事情出错时:中断对话
作者:
Juliana Bowles
;
Sotiris Moschoyiannis
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
75.
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
机译:
工程服务导向应用:从STPOWLA流程到SRML模型
作者:
Laura Bocchi
;
Stephen Gorton
;
Stephan Reiff-Marganiec
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
76.
Modelling and Verification of Timed Interaction and Migration
机译:
定时互动与迁移的建模与验证
作者:
Gabriel Ciobanu
;
Maciej Koutny
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
Mobility;
Timers;
Process algebra;
High-level Petri nets;
Compositional translation;
Behavioural consistency;
77.
Clint: A Composition Language Interpreter(Tool Paper)
机译:
克林特:组成语言翻译(工具纸)
作者:
Javier Camara
;
Gwen Salauen
;
Carlos Canal
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
78.
A Logic of Graph Constraints
机译:
图形约束的逻辑
作者:
Fernando Orejas
;
Hartmut Ehrig
;
Ulrike Prange
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
79.
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems
机译:
COMP-REF:指导软件系统中组件责任委派责任的技术
作者:
Subhajit Datta
;
Robert van Engelen
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
80.
Software Quality Improvement Via PatternMatching
机译:
通过模式匹配的软件质量改进
作者:
Radu Kopetz
;
Pierre-Etienne Moreau
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
81.
Object Composition in Scenario-Based Programming
机译:
基于场景的编程中的对象组成
作者:
Yoram Atir
;
David Harel
;
Asaf Kleinbort
;
Shahar Maoz
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
82.
Clint: A Composition Language Interpreter
机译:
克林特:组成语言翻译
作者:
Javier Camara
;
Gwen Salaun
;
Carlos Canal
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
83.
A Model Checking Approach for Verifying COWS Specifications
机译:
验证奶牛规范的模型检查方法
作者:
Alessandro Fantechi
;
Stefania Gnesi
;
Alessandro Lapadula
;
Franco Mazzanti
;
Rosario Pugliese
;
Francesco Tiezzi
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
84.
Leveraging Patterns on Domain Models to Improve UML Profile Definition
机译:
利用域模型的模式以提高UML配置文件定义
作者:
Francois Lagarde
;
Huascar Espinoza
;
Francois Terrier
;
Charles Andre
;
Sebastien Gerard
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
85.
Deriving Non-zeno Behavior Models from Goal Models Using ILP
机译:
使用ILP从目标模型中获取非Zeno行为模型
作者:
Dalai Alrajeh
;
Alessandra Russo
;
Sebastian Uchitel
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
86.
Translating Model Simulators to Analysis Models
机译:
将模型模拟器转换为分析模型
作者:
Juan de Lara
;
Hans Vangheluwe
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
87.
Orthographic Modeling Environment
机译:
矫形建模环境
作者:
Colin Atkinson
;
Dietmar Stoll
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
88.
Formal Model-Driven Program Refactoring
机译:
正式模型驱动的程序重构
作者:
Tiago Massoni
;
Rohit Gheyi
;
Paulo Borba
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
89.
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
机译:
域分析,用于指定设计缺陷并生成检测算法
作者:
Naouel Moha
;
Yann-Gael Gueheneuc
;
Anne-Francoise Le Meur
;
Laurence Duchien
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
Design defects;
Antipatterns;
Code smells;
Domain-specific language;
Algorithm generation;
Detection;
Java;
90.
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
机译:
一种通用的完整动态逻辑,了解纯度和效果
作者:
Till Mossakowski
;
Lutz Schroder
;
Sergey Goncharov
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
91.
Consistent Integration of Models Based on Views of Visual Languages
机译:
基于视觉语言视图的模型一致集成
作者:
Hartmut Ehrig
;
Karsten Ehrig
;
Claudia Ermel
;
Ulrike Prange
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
92.
Contextual Integration Testing of Classes
机译:
类课程的上下文整合测试
作者:
Giovanni Denaro
;
Alessandra Gorla
;
Mauro Pezze
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
93.
Verification of Architectural Refactorings by Rule Extraction
机译:
规则提取验证建筑重构
作者:
Denes Bisztray
;
Reiko Heckel
;
Hartmut Ehrig
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2008年
关键词:
Service Oriented Architecture;
UML;
Refactoring;
Graph Transformation;
CSP;
94.
Contract-Driven Development
机译:
合同驱动的发展
作者:
Bertrand Meyer
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
95.
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
机译:
声明类型概括检查器:Eclipse插件,用于系统编程,具有更多一般类型
作者:
Markus Bach
;
Florian Forster
;
Friedrich Steimann
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
96.
S2A: A Compiler for Multi-modal UML Sequence Diagrams
机译:
S2A:用于多模态UML序列图的编译器
作者:
David Harel
;
Asaf Kleinbort
;
Shahar Maoz
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
97.
Software Product Families: Towards Compositionality
机译:
软件产品系列:朝着合作性
作者:
Jan Bosch
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
关键词:
Software product families;
compositionality;
98.
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
机译:
基于聚类的追踪面向对象设计的方法来要求
作者:
Xin Zhou
;
Hui Yu
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
关键词:
Object-oriented software development;
Requirement Traceability;
Use Case;
Class;
Clustering;
99.
Towards Normal Design for Safety-Critical Systems
机译:
迈向安全关键系统的正常设计
作者:
Derek Mannering
;
Jon G. Hall
;
Lucia Rapanotti
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
100.
SDL Profiles – Formal Semantics and Tool Support
机译:
SDL配置文件 - 形式语义和工具支持
作者:
R. Grammes
;
R. Gotzhein
会议名称:
《International Conference on Fundamental Approaches to Software Engineering》
|
2007年
意见反馈
回到顶部
回到首页