首页>外文会议>Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering

Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering

召开年：2009
召开地：Amsterdam(NL);Amsterdam(NL)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The challenge of pervasive software to the conventional wisdom of software engineering

机译：普适软件对软件工程传统智慧的挑战
- 作者：Mary Shaw
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- end-user software engineering;
- software architecture;
- software design;
- software engineering;
- ultra-large-scale systems;
2.IQ routes and HD traffic

机译：IQ路由和高清流量
- 作者：Ralf-Peter Schafer
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
3.Debugging debugging

机译：调试调试
- 作者：Andreas Zeller
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- automated debugging;
- delta debugging;
4.Verification and performance evaluation of aadl models

机译：aadl模型的验证和性能评估
- 作者：Marco Bozzano;Alessandro Cimatti;Marco Roveri;Joost-Pieter Katoen;Viet Yen Nguyen;Thomas Noll
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- aadl;
- dependability;
- model checking;
- performability;
- reliability;
5.Reo2MC

机译：Reo2MC
- 作者：Farhad Arbab;Sun Meng;Young-Joo Moon;Marta Kwiatkowska;Hongyang Qu
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- coordination model;
- markov chain;
- performance analysis;
- reo;
6.Smart views for analyzing problem reports

机译：用于分析问题报告的智能视图
- 作者：Patrick Knab;Patrick Knab;Martin Pinzger
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- effort estimation;
- process metrics;
- visualization;
7.SCA

机译：爱生雅
- 作者：Danhua Shao;Sarfraz Khurshid;Dewayne E. Perry
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- data flow;
- semantic analysis;
- version management;
8.Test case comparison and clustering using program profiles and static execution

机译：使用程序概要文件和静态执行进行测试案例比较和集群
- 作者：Vipindeep Vangala;Jacek Czerwonka;Phani Talluri
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- machine learning;
- static analysis;
- sustained engineering;
- testing;
9.ReCrashJ

机译：崩溃崩溃
- 作者：Shay Artzi;Sunghun Kim;Michael D. Ernst
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- crash;
- monitoring;
- reproducing;
- tracing;
- unit test;
10.Javalanche

机译：Javalanche
- 作者：David Schuler;Andreas Zeller
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- mutation testing;
11.ConcernMorph

机译：关注形态
- 作者：Eduardo Figueiredo;Jon Whittle;Alessandro Garcia
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- crosscutting concerns;
- crosscutting patterns;
- metrics;
12.Srijan

机译：创建
- 作者：Animesh Pathak;Mahanth K. Gowda
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- macroprogramming;
- sensor networks;
- toolkit;
13.Software architecture

机译：软件架构
- 作者：Richard N. Taylor
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- architecture-centric development;
- software architecture;
14.The massification and webification of systems' modeling and simulation with virtual worlds

机译：利用虚拟世界进行系统建模和仿真的大规模化和网络化
- 作者：Cristina Videira Lopes
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- 3d visualization;
- modeling;
- simulation;
- virtual worlds;
15.Engineering search computing applications

机译：工程搜索计算应用
- 作者：Marco Brambilla;Stefano Ceri
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- search computing;
- search services;
- soa;
- software engineering;
- web services;
16.Asserting and checking determinism for multithreaded programs

机译：声明和检查多线程程序的确定性
- 作者：Jacob Burnim;Koushik Sen
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- assertions;
- determinism;
- parallel programs;
17.Static data race detection for concurrent programs with asynchronous calls

机译：带有异步调用的并发程序的静态数据竞争检测
- 作者：Vineet Kahlon;Nishant Sinha;Erik Kruus;Yun Zhang
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- asynchronous programs;
- bootstrapping;
- pointer analysis;
- static data race detection;
18.Symbolic pruning of concurrent program executions

机译：并发程序执行的符号修剪
- 作者：Chao Wang;Swarat Chaudhuri;Aarti Gupta;Yu Yang
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- concurrency;
- partial order reduction;
- pruning;
- sat;
19.Darwin

机译：达尔文
- 作者：Dawei Qi;Abhik Roychoudhury;Zhenkai Liang;Kapil Vaswani
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- debugging;
- software evolution;
- symbolic execution;
20.Capturing propagation of infected program states

机译：捕获受感染程序状态的传播
- 作者：Zhenyu Zhang;W. K. Chan;T. H. Tse;Bo Jiang;Xinming Wang
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- basic block;
- control-flow edge;
- edge profile;
- fault localization;
21.Saturation-based testing of concurrent programs

机译：基于饱和的并发程序测试
- 作者：Elena Sherman;Matthew B. Dwyer;Sebastian Elbaum
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- concurrent programs;
- coverage;
- test adequacy criteria;
22.Backward-compatible constant-time exception-protected memory

机译：向后兼容的恒定时间异常保护存储器
- 作者：Pradeep Varma;Rudrapatna K. Shyamasundar;Harshit J. Shah
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- backward compatibility;
- memory safety;
- object version;
- scalar fat pointer;
- spatial access error;
- temporal access error;
23.Automated security testing of web widget interactions

机译：Web小部件交互的自动化安全性测试
- 作者：Cor-Paul Bezemer;Ali Mesbah;Arie van Deursen
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- security testing;
- web applications;
24.Cross-project defect prediction

机译：跨项目缺陷预测
- 作者：Thomas Zimmermann;Nachiappan Nagappan;Harald Gall;Emanuel Giger;Brendan Murphy
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- churn;
- cross-project;
- decision trees;
- defect prediction;
- logistic regression;
- prediction quality;
25.On the relationship between process maturity and geographic distribution

机译：关于流程成熟度与地理分布之间的关系
- 作者：Marcelo Cataldo;Sangeeth Nambiar
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- empirical software engineering;
- global software development;
- software process maturity;
- software quality;
26.Improving bug triage with bug tossing graphs

机译：通过将错误抛弃图形来改善错误分类
- 作者：Gaeul Jeong;Sunghun Kim;Thomas Zimmermann
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- bug report assignment;
- bug tossing;
- bug triage;
- issue tracking;
- machine learning;
- problem tracking;
27.Fair and balanced?

机译：公平和平衡吗？
- 作者：Christian Bird;Adrian Bachmann;Eirik Aune;John Duffy;Abraham Bernstein;Vladimir Filkov;Premkumar Devanbu
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- bias;
28.Qos-driven runtime adaptation of service oriented architectures

机译：面向服务的体系结构的Qos驱动的运行时适应
- 作者：Valeria Cardellini;Emiliano Casalicchio;Vincenzo Grassi;Francesco Lo Presti;Raffaela Mirandola
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- quality of service;
- runtime adaptation;
- service-oriented architecture;
29.Automatic synthesis of behavior protocols for composable web-services

机译：可组合Web服务的行为协议的自动综合
- 作者：Antonia Bertolino;Paola Inverardi;Patrizio Pelliccione;Massimo Tivoli
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- automatic synthesis;
- behavior protocols;
- testing;
- web-services;
30.Data flow testing of service choreography

机译：服务编排的数据流测试
- 作者：Lijun Mei;W. K. Chan;T. H. Tse
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- choreography;
- data flow testing;
- orchestration;
- service composition;
- software testing;
- web services;
31.Whitening SOA testing

机译：美白SOA测试
- 作者：Cesare Bartolini;Antonia Bertolino;Sebastian Elbaum;Eda Marchetti
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- coverage adequacy criteria;
- service-oriented architecture;
- testing web services;
- white-box testing;
32.Refactoring for reentrancy

机译：重构可重入
- 作者：Jan Wloka;Manu Sridharan;Frank Tip
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- program transformation;
- reentrant code;
- refactoring;
33.Monitoring probabilistic properties

机译：监视概率属性
- 作者：Lars Grunske;Pengcheng Zhang
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- performance;
- probabilistic properties;
- reliability;
- runtime monitoring;
- safety;
- security;
- web services;
34.MSeqGen

机译：MSeqGen
- 作者：Suresh Thummalapenta;Tao Xie;Nikolai Tillmann;Jonathan de Halleux;Wolfram Schulte
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- object-oriented testing;
- sequence mining;
35.Api hyperlinking via structural overlap

机译：通过结构重叠的api超链接
- 作者：Fan Long;Xi Wang;Yang Cai
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- api recommendation;
- module clustering;
- overlap rank;
36.Learning from examples to improve code completion systems

机译：从示例中学习以改进代码完成系统
- 作者：Marcel Bruch;Martin Monperrus;Mira Mezini
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- code completion;
- code recommender;
- content assist;
- integrated development environment;
37.Improving slice accuracy by compression of data and control flow paths

机译：通过压缩数据和控制流路来提高切片精度
- 作者：Aharon Abadi;Ran Ettinger;Yishai A. Feldman
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- program slicing;
38.Insights from expert software design practice

机译：来自专家软件设计实践的见解
- 作者：Marian Petre
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- design;
- empirical studies;
- expertise;
- software design processes;
39.Fitting the pieces together

机译：组装在一起
- 作者：Benjamin Delaware;William R. Cook;Don Batory
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- feature models;
- product lines;
- type safety;
40.Ensuring interoperable service-oriented systems through engineered self-healing

机译：通过设计的自我修复确保可互操作的面向服务的系统
- 作者：Giovanni Denaro;Mauro Pezze;Davide Tosi
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
41.Synthesizing partial component-level behavior models from system specifications

机译：根据系统规范合成部分组件级别的行为模型
- 作者：Ivo Krka;Yuriy Brun;George Edwards;Nenad Medvidovic
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- behavior model synthesis;
- constraints;
- modal transition systems;
- partial specifications;
- scenarios;
42.Supporting automatic model inconsistency fixing

机译：支持自动模型不一致修复
- 作者：Yingfei Xiong;Zhenjiang Hu;Haiyan Zhao;Hui Song;Masato Takeichi;Hong Mei
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- beanbag;
- inconsistency fixing;
- model consistency;
- ocl;
43.Behavioral automata composition for automatic topology independent verification of parameterized systems

机译：行为自动机组合，用于参数化系统的自动拓扑独立验证
- 作者：Youssef Hanna;Samik Basu;Hridesh Rajan
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- parameterized model checking;
44.Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models

机译：概率环境中（非概率）行为模型的定量分析
- 作者：Esteban Pavese;Victor Braberman;Sebastian Uchitel
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- behaviour models;
- interface automata;
- model checking;
- probability;
45.Automatic steering of behavioral model inference

机译：行为模型推断的自动导向
- 作者：David Lo;Leonardo Mariani;Mauro Pezze
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- dynamic analysis;
- mining automata;
- temporal properties;
46.Sireum/Topi LDP

机译：蚂蚁/ LDP帽
- 作者：Jason Belt;Robby;Xianghua Deng
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- decision procedure;
- program analysis;
- symbolic execution;
47.DebugAdvisor

机译：调试顾问
- 作者：B. Ashok;Joseph Joy;Hongkang Liang;Sriram K. Rajamani;Gopal Srinivasa;Vipindeep Vangala
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- debugging;
- recommendation systems;
- search;
48.Graph-based mining of multiple object usage patterns

机译：基于图的多个对象使用模式挖掘
- 作者：Tung Thanh Nguyen;Hoan Anh Nguyen;Nam H. Pham;Jafar M. Al-Kofahi;Tien N. Nguyen
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- anomaly;
- api usage;
- clone;
- graph mining;
- groum;
- object usage;
- pattern;
49.Facilitating software refactoring with appropriate resolution order of bad smells

机译：以适当的臭味解析顺序促进软件重构
- 作者：Hui Liu;Limei Yang;Zhendong Niu;Zhyi Ma;Weizhong Shao
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- quality;
- resolution order;
- schedule;
- software refactoring;
50.Software change dynamics

机译：软件变更动态
- 作者：Markus M. Geipel;Frank Schweitzer
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- change propagation;
- dependency;
- java;
51.Practical framework constraints

机译：实际框架约束
- 作者：Francois Bronsard
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- application framework;
- code checker;
- static analysis;
52.Evaluating recovery aware components for grid reliability

机译：评估具有恢复意识的组件的网格可靠性
- 作者：Iman I. Yusuf;Heinz W. Schmidt;Ian D. Peake
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- components;
- fault-tolerance;
- grid;
53.Towards accurate probabilistic models using state refinement

机译：使用状态细化建立精确的概率模型
- 作者：Paulo H. Maia;Jeff Kramer;Sebastian Uchitel;Nabor C. Mendonca
- 会议名称：《Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering》 | 2009年
- accuracy;
- behaviour model;
- probabilistic model checking;
- refinement;