首页>外文会议>其他>19th Asia-Pacific Software Engineering Conference.;vol. 1.

19th Asia-Pacific Software Engineering Conference.;vol. 1.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Test Case Selection Based on Path Condtions of Symbolic Execution

机译：基于符号执行路径条件的测试用例选择
- 作者：Munakata Kazuki;Fujiwara Shoichiro;Tokumoto Susumu;Uehara Tadahiro
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- path condition;
- symbolic execution;
- test case selection;
2.Efficient Modelling of Embedded Software Systems and their Formal Verification

机译：嵌入式软件系统的高效建模及其形式验证
- 作者：Estivill-Castro Vladimir;Hexel Rene;Rosenblueth David A.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
3.Model Transformation Patterns for Introducing Suitable Information Systems

机译：引入合适信息系统的模型转换模式
- 作者：Kaiya Haruhiko;Morita Shunsuke;Ogata Shinpei;Kaijiri Kenji;Hayashi Shinpei;Saeki Motoshi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Early Requirements Analysis;
- Metrics;
- Model Transformation;
- Strategic Dependency Model;
4.Linking Functions and Quality Attributes for Software Evolution

机译：链接功能和质量属性以进行软件开发
- 作者：Yang Hongji;Zheng Shang;Chu William Cheng-Chung;Tsai Ching-Tsorng
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Program Transformation;
- Software Architecture;
- Software Evolution;
- Software Functions;
- Software Quality;
5.Bug Prediction Metrics Based Decision Support for Preventive Software Maintenance

机译：基于错误预测指标的预防性软件维护决策支持
- 作者：Maskeri Girish;Karnam Deepthi;Viswanathan Sree Aurovindh;Padmanabhuni Srinivas
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Bug Prevention;
- Mining Software Repositories;
- Software Maintenance;
6.The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile Processes

机译：NORMAP方法论：敏捷过程的非功能性需求的轻量级工程
- 作者：Farid Weam M.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- NORMAP methodology;
- NORMATIC;
- Scrum;
- agile non-functional requirements;
- agile requirements modeling;
7.Assessing the Representativeness of Open Source Projects in Empirical Software Engineering Studies

机译：在经验软件工程研究中评估开源项目的代表性
- 作者：Zhong Hao;Yang Ye;Keung Jacky
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Empirical Studies;
- Open source software;
8.A Graph-Based Approach to Web Service Matchmaking

机译：一种基于图的Web服务匹配方法
- 作者：Ma Shang-Pin;Lee Jonathan
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
9.Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UML

机译：建模可执行测试角色：在可执行和可翻译UML中完成的探索性研究
- 作者：Heldal Rogardt;Arvidsson Daniel;Persson Fredrik
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- executable software models;
- model driven architecture;
- property based testing;
- statechart;
10.Search Based Combinatorial Testing

机译：基于搜索的组合测试
- 作者：Nie Changhai;Wu Huayao;Liang Yalan;Leung Hareton;Kuo Fei-Ching;Li Zheng
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
11.Augmenting Product Lines

机译：扩充产品线
- 作者：Zhang Xiaorui;Haugen Oystein;Moller-Pedersen Birger
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- CVL Compare;
- Common Variability Language;
- Product Line Engineering;
- augment product lines;
12.Towards a Better Understanding of Testing if Conditionals

机译：更好地了解条件测试
- 作者：Nath Shimul Kumar;Merkel Robert;Lau Man Fai;Paul Tanay Kanti
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- bug fix pattern;
- empirical study;
- fault class;
- fault frequency;
- testing;
13.Trust-Based Service Composition and Optimization

机译：基于信任的服务组合和优化
- 作者：Wu Xiaona;Li Bixin;Song Rui;Liu Cuicui;Qi Shanshan
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- composite template;
- interface-matching;
- service composition;
- service optimization;
- trust;
- trust evaluation;
14.Capturing Strategic Business Requirements: An Exploratory Study

机译：捕获战略业务需求：探索性研究
- 作者：Babar Abdul;Wong Bernard
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- enterprise startegy;
- functional Requirements;
- software system;
15.Discovering Early Aspects through Goals Interactions

机译：通过目标互动发现早期方面
- 作者：Lee Jonathan;Hsu Kuo-Hsun;Lee Shin-Jie;Lee Wen-Tin
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Early Aspect;
- Fuzzy Logic;
- Goal;
- Goals Interaction;
- Use Case;
16.Semi-Automated Verification of Defense against SQL Injection in Web Applications

机译：Web应用程序中的SQL注入防御半自动验证
- 作者：Liu Kaiping;Tan Hee Beng Kuan;Shar Lwin Khin
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- SQL injection;
- Web applications;
- code auditing;
- software security;
- static analysis;
- vulnerabilities;
17.Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules

机译：状态机从方程到重写规则的不变保留变换
- 作者：Zhang Min;Ogata Kazuhiro
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Rewrite theory;
- equational theory;
- formal verification;
- invariant;
- state machine;
- transformation;
18.Comparison of Seven Bug Report Types: A Case-Study of Google Chrome Browser Project

机译：七种错误报告类型的比较：Google Chrome浏览器项目的案例研究
- 作者：Lal Sangeeta;Sureka Ashish
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Issue Tracking Systems;
- Mining Bug Archives;
- Mining Software Repositories;
- Software Maintenance;
19.Behavioural Analysis for Distributed Simulations

机译：分布式仿真的行为分析
- 作者：Carle Patrice;Choppy Christine;Kervarc Romain;Piel Ariane
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
20.Who is Accountable for Asynchronous Exceptions?

机译：谁负责异步异常？
- 作者：Morandi Benjamin;Nanz Sebastian;Meyer Bertrand
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- SCOOP;
- asynchronous exception;
- concurrent programming;
21.Calculating Preconditions for Parallel Workflows

机译：计算并行工作流的前提条件
- 作者：Wang Chen-Wei
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Goal Predicates;
- Information Systems;
- Preconditions;
- Workflows;
22.Extending Linden Scripting Language on OpenSim

机译：在OpenSim上扩展Linden脚本语言
- 作者：Sun Bo;Zhang Xiaohong;Wu Hao
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Linden scripting language;
- OpenSim;
- extended scheme;
- scripting engine;
23.A Verification Method of Elicited Software Requirements Using Requirements Ontology

机译：一种使用需求本体验证软件需求的验证方法
- 作者：Dzung Dang Viet;Ohnishi Atsushi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- checking elicited requirements;
- requirements ontology;
- software requirements verification;
24.Software Project Team Characteristics and Team Performance: Team Motivation as a Moderator

机译：软件项目团队的特征和团队绩效：主持人的团队动机
- 作者：Chen Pei-Chi;Chern Ching-Chin;Chen Chung-Yang
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- software project;
- team characteristics;
- team motivation;
- team performance;
25.An Approach to Estimating Cost of Running Cloud Applications Based on AWS

机译：基于AWS的运行云应用程序运行成本估算方法
- 作者：He Huihong;Ma Zhiyi;Li Xiang;Chen Hongjie;Shao Weizhong
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Amazon Web Service Cloud;
- Pricing Model;
- cost estimation;
- design phase;
- performance;
26.Parametric Transformations for Flexible Analysis

机译：用于弹性分析的参数转换
- 作者：Bowles Juliana;Meedeniya Dulani
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Coloured Petri Nets;
- Formal Model Transformation;
- Language Equivalence;
- Parametric Transformation;
- UML2 Sequence Diagrams;
27.Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN)

机译：了解OSS同行评审在同行评审社交网络（PeRSoN）中的角色
- 作者：Yang Xin;Kula Raula Gaikovina;Erika Camargo Cruz Ana;Yoshida Norihiro;Hamasaki Kazuki;Fujiwara Kenji;Iida Hajimu
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Open Source Software;
- Peer Review;
- Social Network Analysis;
28.Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning

机译：通过非单调推理增强非保守并行重构
- 作者：Chalabine Mikhail
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- artificial intelligence;
- code manipulation;
- code transformation;
- sequential to parallel;
- serial;
29.Importance Sampling of Runtime Interference

机译：运行时干扰的重要性抽样
- 作者：Nakajima Shin
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Monte Carlo Method;
- Open Systems;
- Runtime Monitoring;
- Web Applications;
30.Implementing Virtual Agent as an Interface for Smart Home Voice Control

机译：将虚拟代理程序实现为智能家居语音控制的接口
- 作者：Soda Shimpei;Nakamura Masahide;Matsumoto Shinsuke;Izumi Shintaro;Kawaguchi Hiroshi;Yoshimoto Masahiko
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- MMDAgent;
- hands free;
- microphone array;
- smart home;
- voice interface;
31.Determining and Selecting the Optimal Sets of Risk Treatments under Project Constraints

机译：在项目约束下确定和选择最佳的风险处理集
- 作者：Kwan Tak Wah;Cheung Bryan
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- project risk management;
- risk methodology;
- risk response;
- risk treatment;
32.Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness

机译：验证多个发行版上的面向对象指标的有效性以预测故障倾向
- 作者：Rathore Santosh Singh;Gupta Atul
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Object-oriented metrics;
- empirical validation;
- software fault prediction;
33.An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth Models

机译：通过软件可靠性增长模型对开放源代码软件和封闭源代码软件的可靠性增长进行的实证研究
- 作者：Ullah Najeeb;Morisio Maurizio
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Failure Data;
- Open Source Software;
- SRGM;
- Software Reliability Growth Models;
- Software Reliability Models;
34.Incorporating Expert Judgment into Regression Models of Software Effort Estimation

机译：将专家判断纳入软件工作量估计的回归模型
- 作者：Tsunoda Masateru;Monden Akito;Keung Jacky;Matsumoto Kenichi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Estimation error;
- Expert Judgment;
- Productivity;
- Project Management;
- Software Effort Estimation;
- Stratification;
35.Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software

机译：增强符号执行以测试重新设计的工业软件的兼容性
- 作者：Tokumoto Susumu;Uehara Tadahiro;Munakata Kazuki;Ishida Haruyuki;Eguchi Toru;Baba Masafumi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- compatibility testing;
- embedded system;
- path reduction;
- symbolic execution;
- test case selection;
36.Software Development Practices in New Zealand

机译：新西兰的软件开发实践
- 作者：Kirk Diana;Tempero Ewan
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Software practices;
- industry survey;
- software organisations;
37.Leveraging CVL to Manage Variability in Software Process Lines

机译：利用CVL管理软件生产线中的可变性
- 作者：Rouille Emmanuelle;Combemale Benoit;Barais Olivier;Touzet David;Jezequel Jean-Marc
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
38.Relationships Formalization for Model-Based Product Lines

机译：基于模型的产品线的关系形式化
- 作者：Creff Stephen;Champeau Joel;Monegier Arnaud;Jezequel Jean-Marc
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- DSL;
- Feature Models;
- Intentional Relations;
- MBE;
- Modeling Space;
- PLE;
- Relationships;
39.On Accelerating SMT-based Bounded Model Checking of HSTM Designs

机译：基于加速SMT的HSTM设计的边界模型检查
- 作者：Kong Weiqiang;Liu Leyuan;Yamagata Yoriyuki;Taguchi Kenji;Ohsaki Hitoshi;Fukuda Akira
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Acceleration;
- Hierarchical State Transition Matrix;
- SMT-based Bounded Model Checking;
40.An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms

机译：动态软件更新机制形式化分析的一种代数方法
- 作者：Zhang Min;Ogata Kazuhiro;Futatsugi Kokichi
- 会议名称：《》 | 2012年
- Dynamic software updating;
- algebraic formalization;
- correctness;
- formal verification;
- rewriting logic;
41.A Design Pattern to Build Executable DSMLs and Associated Vamp;V Tools

机译：一种构建可执行DSML和相关V＆V工具的设计模式
- 作者：Combemale Benoit;Cregut Xavier;Pantel Marc
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Model Driven Engineering;
- Software Language Engineering;
- Validation Verification;
42.Javelus: A Low Disruptive Approach to Dynamic Software Updates

机译：Javelus：一种低破坏性的动态软件更新方法
- 作者：Gu Tianxiao;Cao Chun;Xu Chang;Ma Xiaoxing;Zhang Linghao;Lu Jian
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Java;
- dynamic software updates;
- virtual machine;
43.Applying Recommendation Systems for Composing Dynamic Services for Mobile Devices

机译：应用推荐系统组成移动设备的动态服务
- 作者：Paakko Jari;Raatikainen Mikko;Myllarniemi Varvana;Mannisto Tomi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
44.Resynchronizing Model-Based Self-Adaptive Systems with Environments

机译：使基于模型的自适应系统与环境重新同步
- 作者：Zhang Linghao;Xu Chang;Ma Xiaoxing;Gu Tianxiao;Hong Xuezhi;Cao Chun;Lu Jian
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- resynchronization;
- self-adaptive system;
- sync-loss error;
45.Precise Analysis of Large Industry Code

机译：大型行业规范的精确分析
- 作者：Darke Priyanka;Khanzode Mayur;Nair Arun;Shrotri Ulka;Venkatesh R.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- abstraction of loops;
- scaling up bounded model checking;
46.A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems

机译：面向问题的自适应软件系统反馈回路建模方法
- 作者：Liu Chun;Zhang Wei;Zhao Haiyan;Jin Zhi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- context-aware;
- feedback loop;
- requirements-aware;
- self-adaptive software;
- software requirements;
47.Analysis of Adaptive Policy-Based Approach to Avoid Policy Conflicts

机译：基于自适应策略的避免策略冲突的方法分析
- 作者：Mansor Abdehamid Abdelhadi;Kadir Wan M. N. Wan;Anwar Toni;Sahibuddin Shamsul
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- adaptive policy-based;
- correctness;
- policy classification;
- policy conflict;
- static analysis;
48.A Heuristic Rule Reduction Approach to Software Fault-proneness Prediction

机译：一种启发式规则约简方法，用于软件故障倾向性预测
- 作者：Monden Akito;Keung Jacky;Morisaki Shuji;Kamei Yasutaka;Matsumoto Ken-Ichi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- association rule mining;
- data mining;
- defect prediction;
- empirical study;
- software quality;
49.Data Depedency Based Trust Evaluation for BPEL Processes

机译：基于数据依赖关系的BPEL流程信任评估
- 作者：Liu Cuicui;Li Bixin;Qi Shanshan;Wu Xiaona;Song Rui
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- XBFG;
- data dependency;
- dependency link;
- reduction rules;
- trust evaluation;
50.A Change Impact Analysis Approach for the Software Development Phase

机译：软件开发阶段的变更影响分析方法
- 作者：Kama Nazri;Azli Faizul
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- class interaction;
- impact analysis;
- requirement interaction;
- software development;
- traceability;
51.Studying the Understandability of Aspect State Machines through the Weaving Activity

机译：通过编织活动研究方面状态机的可理解性
- 作者：Ali Shaukat;Yue Tao
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Aspect-oriented Modeling;
- Case Study;
- Robustness;
- UML profile;
- UML state machines;
- Understandability;
52.Towards Tool Integration through Artifacts and Roles

机译：通过工件和角色实现工具集成
- 作者：Zhang Weiqing;Leilde Vincent;Moller-Pedersen Birger;Champeau Joel;Guychard Christophe
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Artifact;
- role;
- tool integration;
53.Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching

机译：通过基于文本相关性分类的迭代Web搜索发现领域概念和同义关系
- 作者：Mou Lili;Li Ge;Jin Zhi;Lu Yangyang;Hao Yiyang
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- domain knowledge;
- ontology learning;
- taxonomy learning;
54.Software Requirements Triage and Selection: State-of-the-Art and State-of-Practice

机译：软件需求分类和选择：最新和实践
- 作者：Khurum Mahvish;Uppalapati Niroopa;Veeramachaneni Ramya Chowdary
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- challenges;
- software requirements triage and selection;
- survey;
- systematic review;
55.Software Architecture Matching by Meta-model Extension and Refinement

机译：通过元模型扩展和完善进行软件架构匹配
- 作者：Chen Luxi;Huang Linpeng;Li Chen;Luo Weichao
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- CBSD;
- OCL;
- architecture matching;
- meta-model;
- refinement;
- software architecture;
56.An Approach to Generate Actor-Oriented Activity Charts from Use Case Requirements

机译：一种从用例需求生成面向Actor的活动图的方法
- 作者：Tiwari Saurabh;Rathore Santosh Singh;Singh Abhijeet;Singh Abhinav;Gupta Atul
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- UML activity diagram;
- Use case modeling;
- model transformation;
- requirement specification;
57.Process Model of Software Method Transition

机译：软件方法转换的过程模型
- 作者：Nikitina Natalja;Kajko-Mattsson Mira
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- SPI;
- method adoption;
- process improvement;
58.An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature Selection

机译：利用特征选择改进缺陷报告严重性预测的实证研究
- 作者：Yang Cheng-Zen;Hou Chun-Chi;Kao Wei-Chen;Chen Ing-Xiang
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Defect Reports;
- Feature Selection;
- Performance Evaluation;
- Severity Prediction;
59.Protego: In-Memory Version Control System in the Cloud

机译：Protego：云中的内存中版本控制系统
- 作者：Gioachin Filippo;Liang Qianhui;Yao Yuxia;Lee Bu-Sung
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Version control;
- cloud computing;
- online collaboration;
- software development tools;
60.An Exploratory Study of API Usage Examples on the Web

机译：Web上API使用示例的探索性研究
- 作者：Wang Lijie;Zou Yanzhen;Fang Lu;Xie Bing;Yang Fuqing
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- API;
- empirical study;
- usage examples;
- web search;
61.An Overview of Software Defect Density: A Scoping Study

机译：软件缺陷密度概述：范围界定研究
- 作者：Shah Syed Muhammad Ali;Morisio Maurizio;Torchiano Marco
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- defects density;
- overview;
- scoping study;
62.Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter?

机译：文本用例的自动分析：NLP组件和管道重要吗？
- 作者：Kulkarni Naveen;Parachuri Deepti;Dasa Madhuri;Kumar Abhishek
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Natural Language Processing;
- Requirement Engineering;
- Use Cases;
63.Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications Development

机译：需求可追溯性质量对企业应用程序开发生产力影响的实证分析
- 作者：Saito Shinobu;Hoshino Takashi;Takeuchi Mutsuki;Hiraoka Masatoshi;Kitani Tsuyoshi;Aoyama Mikio
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- productivity;
- statistical analysis;
- traceability;
64.SaaS Application Framework Using Information Gateway Enabling Cloud Service with Data Confidentiality

机译：SaaS应用程序框架使用Information Gateway启用具有数据机密性的云服务
- 作者：Nishikawa Kiyoshi;Oki Kenji;Matsuo Akihiko
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Information Gateway;
- SaaS application;
- client data;
- cloud computing;
- existing applications;
- integration framework;
- sandbox;
- security manager;
65.Web Platform API Design Principles and Service Contract

机译：Web平台API设计原则和服务合同
- 作者：Chen Yonghong;Xu Xiwei;Zhu Liming
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Evolvability;
- Platform API;
- REST;
- Service contract;
66.Keynotes 3 abstracts

机译：主题演讲3摘要
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
67.Investigating the Use of Duration-Based Moving Windows to Improve Software Effort Prediction

机译：研究使用基于持续时间的移动窗口来改善软件工作量预测
- 作者：Lokan Chris;Mendes Emilia
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Chronological splitting;
- effort estimation;
- moving window;
- regression-based estimation models;
68.Classification of Software Transfers

机译：软件转移的分类
- 作者：Wohlin Claes;mite Darja
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Global software engineering;
- distributed teams;
- empirical study;
- global software development;
- offshore insourcing;
- offshoring;
- software transfers;
69.BuOA: An Achitecture Style for Modular Web Applications

机译：BuOA：模块化Web应用程序的建筑风格
- 作者：Ye Wei;Luo Ruici;Zhang Shikun;Liu Xueyang;Hu Wenhui
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- BuOA;
- architecture style;
- business unit;
- modular web application;
- software architecture;
70.PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems

机译：PBDDR：基于组件的系统的基于探针的死锁检测和恢复策略
- 作者：Li Chen;Huang Linpeng;Chen Luxi;Luo Weichao;Li Xu
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- CSP;
- based system;
- deadlock;
- probe;
- software architecture;
71.Assessing Platform Suitability for Achieving Quality in Guest Applications

机译：评估平台适用性以实现访客应用程序的质量
- 作者：Sodhi Balwinder;Prabhakar T.V.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
72.A CSP-theoretic Framework of Checking Conformance of Business Processes

机译：检查业务流程一致性的CSP理论框架
- 作者：Roy Suman;Bihary Sidharth;Laos Jose Alfonso Corso
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- BPMN;
- Business Processes;
- CSP;
- Formal methods;
- PAT toolkit;
- Software verification and validation;
- Trace refinement;
- conformance checking;
73.Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs

机译：基于模块化堆抽象的堆操作程序的内存泄漏检测
- 作者：Dong Longming;Wang Ji;Chen Liqian
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
74.A Context-Based Integrity Framework

机译：基于上下文的完整性框架
- 作者：Anderson Mark;Montague Paul;Long Benjamin
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Biba;
- Clark-Wilson;
- data integrity;
- information security;
75.Integration of Safety Verification with Conformance Testing in Real-Time Reactive System

机译：实时反应系统中安全验证与合格测试的集成
- 作者：Sun Haiying;Liu Jing;Du Dehui
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- conformance testing;
- real-time system;
- safety verification;
- test generation;
76.A Trust Impact Analysis Model for Composite Service Evolution

机译：组合服务演进的信任影响分析模型
- 作者：Qi Shanshan;Li Bixin;Liu Cuicui;Wu Xiaona;Song Rui
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- composite service;
- control flow graph;
- data dependency;
- evolution;
- impact analysis;
- trust;
- trust dependency graph;
77.Modeling and Verification of Context-Aware Systems

机译：上下文感知系统的建模和验证
- 作者：Tran Minh H.;Colman Alan;Han Jun;Zhang Hongyu
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Context-aware systems;
- adaptive systems;
- automotive systems;
- system modelling;
- system verification;
78.The Case for Using Simulation to Validate Event-B Specifications

机译：使用仿真验证事件B规范的案例
- 作者：Yang Faqing;Jacquot Jean-Pierre;Souquieres Jeanine
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Event-B;
- Formal Methods;
- JavaScript;
- Validation;
79.Pattern-Based Model Transformation Using QVT

机译：使用QVT的基于模式的模型转换
- 作者：Park Sunuk;Kim Dae-Kyoo;Park Sooyong
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Design Patterns;
- Model Transformation;
- QVT;
80.An Integrated Risk Analysis Method Using Spatial Interpolation

机译：空间插值的综合风险分析方法
- 作者：Zhou Peng;Leung Hareton K.N.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- qualitative risk analysis;
- quantitative risk analysis;
- risk analysis process;
- risk prioritization;
81.Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity

机译：使用DYNACOMM进行基于体系结构的开发：将动态重配置和分层设计纳入CommUnity
- 作者：Ling Xiang;Maibaum Tom
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Architecture Description Language(ADL);
- Component;
- Connector;
- DynaComm;
- Dynamic Reconfiguration;
- Interface Manager;
- Refinement;
- Regulative Superposition;
- Subsystem;
82.A Formal Approach for the Iterative Design of Behavioural Models

机译：行为模型迭代设计的形式化方法
- 作者：Wang Chen-Wei
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Information Systems;
- Iterative Design;
- Model-Based Testing;
- Weakest Precondition Semantics;
83.Permission Assurance for Semantic Aspects of Design Patterns

机译：设计模式语义方面的权限保证
- 作者：Zhao Yang;Song Lingnan;Zhang Gongxuan;Boyland John
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- annotation;
- design pattern;
- permission assurance;
- user intent;
84.Using Monterey Phoenix to Formalize and Verify System Architectures

机译：使用Monterey Phoenix正式化和验证系统架构
- 作者：Zhang Jiexin;Liu Yang;Auguston Mikhail;Sun Jun;Dong Jin Song
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
85.An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification

机译：基于SOFL非正式规范的低保真原型制作方法
- 作者：Zainuddin Fauziah Binti;Liu Shaoying
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Low-fidelity prototyping;
- SOFL;
- formal methods;
- prototype implementation structure;
- user feedback;
86.Pattern-Based Dynamic Maintenance of Software Systems

机译：基于模式的软件系统动态维护
- 作者：Hadaytullah;Gregersen Allan;Koskimies Kai
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Java;
- Software architecture;
- architectural reflection;
- design patterns;
- dynamic system maintenance;
87.Software Feature Location Based on Topic Models

机译：基于主题模型的软件特征定位
- 作者：Nie Kunming;Zhang Li
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Software Feature Location;
- Topic Coupling;
- Topic Modeling;
- Topic cohesion;
88.Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault Programs

机译：分解多个故障本地化问题：使单故障本地化程序适应多故障程序
- 作者：Gong Cheng;Zheng Zheng;Zhang Yunqian;Zhang Zhenyu;Xue Yunzhi
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- fault localization;
- multi-fault;
- program spectra;
89.A Visualization Technique for Metrics-Based Hierarchical Quality Models

机译：基于度量的分层质量模型的可视化技术
- 作者：Chotjaratwanich Uaychai;Arpnikanondt Chonlameth
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- metrics;
- qmood;
- quality;
- visualization;
90.A Stochastic Simulation Model for Risk Management Process

机译：风险管理过程的随机模拟模型
- 作者：Zhou Peng;Leung Hareton K.N.
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- risk management proccess;
- simulation model;
- stochastic simulation;
- time element;
91.Automated Comparison of Process Improvement Reference Models Based on Similarity Metrics

机译：基于相似度量的过程改进参考模型的自动比较
- 作者：Jeners Simona;Lichter Horst;Pyatkova Elena
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- comparison;
- meta-models;
- reference models;
- similarity metrics;
- software process improvement;
92.Proving Liveness Property under Fairness Requirements

机译：在公平性要求下证明活动性
- 作者：Long Teng;Zhang Wenhui
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- deductive proof;
- fairness;
- ranking function;
93.Debug Concurrent Programs with Visualization and Inference of Event Structure

机译：通过可视化和事件结构推断来调试并发程序
- 作者：Wu Xiaoquan;Wei Jun;Wang Xu
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Debug;
- concurrent programs;
- event structure;
- visualization;
94.Semi-static Detection of Runtime Type Errors in Component-Based Java Programs

机译：基于组件的Java程序中的运行时类型错误的半静态检测
- 作者：Zhou Xiaowei;Zhang Wenbo;Zhang Jianhua
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Class Loader;
- Points-to Analysis;
- Semistatic Detection;
- based;
95.An Experimentation Platform for the Automatic Parallelization of R Programs

机译：R程序自动并行化的实验平台
- 作者：Padberg Frank;Mirold Michael
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Automatic parallelization;
- R language;
- data-parallelism;
- parallel intermediate languages;
- scripting languages;
96.Toward Comprehension of Side Effects in Framework Applications as Feature Interactions

机译：理解框架应用中的副作用作为功能交互
- 作者：Kume Izuru;Nakamura Masahide;Shibayama Etsuya
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- feature interactions;
- program comprehension;
- side effects;
97.Mining Software Revision History Using Advanced Social Network Analysis

机译：使用高级社交网络分析挖掘软件修订历史
- 作者：Cheluvaraju Bharath;Nagal Kartikay;Pasala Anjaneyulu
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Mining software repository;
- data mining;
- social network analysis;
- software engineering;
- version histories;
98.A Guided Mashup Framework for Rapid Software Analysis Service Composition

机译：快速软件分析服务组合的指导性Mashup框架
- 作者：Wijesiriwardana Chaman;Ghezzi Giacomo;Gall Harald
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Mashups;
- Software Analysis as a Service;
- Software Engineering Ontologies;
99.Model-Based Software Architecture Evolution and Evaluation

机译：基于模型的软件架构演变与评估
- 作者：Dragomir Ana;Lichter Horst
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- evaluation;
- monitoring;
- software architecture;
100.Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems

机译：在实时嵌入式系统中实现对附加功能属性的精确监视
- 作者：Saadatmand Mehrdad;Sjodin Mikael
- 会议名称：《19th Asia-Pacific Software Engineering Conference.;vol. 1.》 | 2012年
- Accuracy;
- Embedded;
- Extra-Functional Properties;
- Monitoring;
- Real-Time;