首页>外文期刊>计算机、自动化>计算技术、计算机技术>Automated software engineering

Automated software engineering

SCIEI

中文名称：自动化软件工程

ISSN：0928-8910
出版周期：Quarterly

发文量：325

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Adaptable, model-driven security engineering for SaaS cloud-based applications

机译：基于SaaS云应用程序的适应性强，模型驱动的安全工程
- 作者：Mohamed Almorsy;John Grundy;Amani S. Ibrahim
- 期刊名称：《Automated software engineering》 | 2014年第2期
- Software-as-a-service;
- Model-driven engineering;
- Adaptive-security;
- Security engineering;
- Tenant-oriented security;
2.Counterexample-guided abstraction refinement for linear programs with arrays

机译：带有数组的线性程序的反例指导的抽象优化
- 作者：Alessandro Armando;Massimo Benerecetti;Jacopo Mantovani
- 期刊名称：《Automated software engineering》 | 2014年第2期
3.Cloud refactoring: automated transitioning to cloud-based services

机译：云重构：自动过渡到基于云的服务
- 作者：Young-Woo Kwon;Eli Tilevich
- 期刊名称：《Automated software engineering》 | 2014年第3期
- Cloud computing;
- Services;
- Refactoring;
- Service extraction;
- Fault-tolerance;
- Program transformation;
4.MobiCloUP!: a PaaS for cloud services-based mobile applications

机译：MobiCloUP !：基于云服务的移动应用程序的PaaS
- 作者：Luis Omar Colombo-Mendoza;Giner Alor-Hernandez;Alejandro Rodriguez-gonzalez;Rafael Valencia-garcia
- 期刊名称：《Automated software engineering》 | 2014年第3期
- Mobile Cloud Computing;
- Platform as a Service;
- Rich Internet Applications;
- Web 2.0 services;
5.Guest editorial: automated techniques for migrating to the Cloud (Ⅰ)

机译：客座社论：迁移到云的自动化技术（一）
- 作者：Ching-Hsien Hsu;John Grundy
- 期刊名称：《Automated software engineering》 | 2014年第3期
6.Exploiting ensemble techniques for automatic virtual machine clustering in cloud systems

机译：利用集成技术在云系统中自动进行虚拟机集群
- 作者：Claudia Canali;Riccardo Lancellotti
- 期刊名称：《Automated software engineering》 | 2014年第3期
- Clustering;
- Clustering ensemble;
- Bhattacharyya distance;
- Cloud computing;
7.Data error locations reported by public auditing in cloud storage service

机译：云存储服务中公共审核报告的数据错误位置
- 作者：Min-Shiang Hwang;Cheng-Chi Lee;Tsuei-Hung Sun
- 期刊名称：《Automated software engineering》 | 2014年第3期
- Cloud storage service;
- Public auditing;
- Data confidentiality;
- Error located;
- Security;
8.Multicast and customized deployment of large-scale operating systems

机译：多播和定制部署大型操作系统
- 作者：Kuen-Min Lee;Wei-Guang Teng;Jin-Neng Wu;Kuo-Ming Huang;Yao-Hsing Ko;Ting-Wei Hou
- 期刊名称：《Automated software engineering》 | 2014年第4期
- Cloud computing;
- Deployment;
- Multicast;
- Preboot execution environment;
9.JackHare: a framework for SQL to NoSQL translation using MapReduce

机译：JackHare：使用MapReduce将SQL转换为NoSQL的框架
- 作者：Wu-Chun Chung;Hung-Pin Lin;Shih-Chang Chen;Mon-Fong Jiang;Yeh-Ching Chung
- 期刊名称：《Automated software engineering》 | 2014年第4期
- Cloud computing;
- Unstructured data processing;
- MapReduce;
- NoSQL database;
- HBase;
- JDBC;
- Compiler;
10.Guest editorial: automated techniques for migrating to the cloud (Ⅱ)

机译：客座社论：迁移到云的自动化技术（Ⅱ）
- 作者：Ching-Hsien Hsu;John Grundy
- 期刊名称：《Automated software engineering》 | 2014年第4期
11.SFDCloud: top-κ service faults diagnosis in cloud computing

机译：SFDCloud：云计算中的top-κ服务故障诊断
- 作者：Zhichun Jia;Rong Chen;Xing Xing;Junjie Xu;YiwuXie
- 期刊名称：《Automated software engineering》 | 2014年第4期
- Fault diagnosis;
- Cloud computing;
- Web service composition;
- Service dependence graph;
12.Graph database benchmarking on cloud environments with XGDBench

机译：使用XGDBench在云环境上进行图形数据库基准测试
- 作者：Miyuru Dayarathna;Toyotaro Suzumura
- 期刊名称：《Automated software engineering》 | 2014年第4期
- Cloud databases;
- Graph database systems;
- Benchmark testing;
- Network theory;
- System performance;
- Performance analysis;
13.Editorial: ASE 2012 conference trip report

机译：社论：ASE 2012年会议报告
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2013年第1期
14.EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements

机译：EA-Analyzer：在大量面向文本方面的需求中自动进行冲突检测
- 作者：Alberto Sardinha;Ruzanna Chitchyan;Nathan Weston;Phil Greenwood;Awais Rashid
- 期刊名称：《Automated software engineering》 | 2013年第1期
15.Automated verification of model transformations based on visual contracts

机译：基于视觉合同的模型转换的自动验证
- 作者：Esther Guerra;Juan de Lara;Manuel Wimmer;Gerti Kappel;Angelika Kusel;Werner Retschitzegger;Johannes Schoenboeck;Wieland Schwinger
- 期刊名称：《Automated software engineering》 | 2013年第1期
- model-driven engineering;
- model transformation;
- contract-based specification;
- verification;
- QVT-relations;
16.Maintainability defects detection and correction: a multi-objective approach

机译：可维护性缺陷检测和纠正：多目标方法
- 作者：Ali Ouni;Marouane Kessentini;Houari Sahraoui;Mounir Boukadoum
- 期刊名称：《Automated software engineering》 | 2013年第1期
- maintainability defects;
- software maintenance;
- search-based software engineering;
- multi-objective optimization;
- by example;
- effort;
17.Identification of generalization refactoring opportunities

机译：确定泛化重构机会
- 作者：Hui Liu;Zhendong Niu;Zhiyi Ma;Weizhong Shao
- 期刊名称：《Automated software engineering》 | 2013年第1期
- software quality;
- software refactoring;
- generalization refactoring;
- opportunity identification;
- tool support;
- software maintenance;
18.C2O configurator: a tool for guided decision-making

机译：C2O配置器：指导决策的工具
- 作者：Alexander Noehrer;Alexander Egyed
- 期刊名称：《Automated software engineering》 | 2013年第2期
19.Guest editors introduction: special issue on innovative automated software engineering tools

机译：客座编辑介绍：创新的自动化软件工程工具特刊
- 作者：John Grundy;John Hosking
- 期刊名称：《Automated software engineering》 | 2013年第2期
20.A tool environment for quality assurance based on the Eclipse Modeling Framework

机译：基于Eclipse Modeling Framework的质量保证工具环境
- 作者：Thorsten Arendt;Gabriele Taentzer
- 期刊名称：《Automated software engineering》 | 2013年第2期
- Modeling;
- Model-based software development;
- Model quality;
- Model quality assurance;
- Eclipse Modeling Framework;
21.Design and evaluation of the ModelHealth toolchain for continuity of care web services

机译：设计和评估ModelHealth工具链以实现护理Web服务的连续性
- 作者：Stale Walderhaug
- 期刊名称：《Automated software engineering》 | 2013年第2期
- Model-driven development;
- Healthcare information systems;
- Empirical study;
- Software engineering;
22.Automated verification of code automatically generated from Simulink~®

机译：从Simulink〜®自动生成的代码的自动验证
- 作者：Colin OHalloran
- 期刊名称：《Automated software engineering》 | 2013年第2期
- Simulink;
- Auto-code;
- Z;
- Refinement;
- Theorem proving;
- Ada;
23.Experiences using Tedeso: an extensible and interoperable model-based testing platform

机译：使用Tedeso的经验：基于模型的可扩展且可互操作的测试平台
- 作者：Roberto Silveira Silva Filho;William M. Hasling;Christof J. Budnik;Monica McKenna
- 期刊名称：《Automated software engineering》 | 2013年第3期
- Model-based testing automation;
- Workflow-driven service-oriented architectures;
- Tedeso;
24.Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
- 作者：Corina S. Pasareanu;Willem Visser;David Bushnell;Jaco Geldenhuys;Peter Mehlitz;Neha Rungta
- 期刊名称：《Automated software engineering》 | 2013年第3期
- Symbolic execution;
- Model checking;
- Testing;
- Java;
25.Supporting model-driven development using a process-centered software engineering environment

机译：使用以流程为中心的软件工程环境支持模型驱动的开发
- 作者：Rita Suzana Pitangueira Maciel;Ramon Araujo Gomes;Ana Patricia Magalhaes;Bruno C. Silva;Joao Pedro B. Queiroz
- 期刊名称：《Automated software engineering》 | 2013年第3期
- Software process;
- Model-driven development;
- Process centered software engineering;
26.Guest editors introduction: special issue on innovative automated software engineering tools-part #2

机译：客座编辑介绍：创新的自动化软件工程工具特刊-第2部分
- 作者：John Grundy;John Hosking
- 期刊名称：《Automated software engineering》 | 2013年第3期
27.Mbeddr: instantiating a language workbench in the embedded software domain

机译：Mbeddr：在嵌入式软件域中实例化语言工作台
- 作者：Markus Voelter;Daniel Ratiu;Bernd Kolb;Bernhard Schaetz
- 期刊名称：《Automated software engineering》 | 2013年第3期
- Language workbenches;
- Domain specific languages and tooling;
- Synthesis of tailored tools;
- Embedded systems;
28.A framework for semi-automated software evolution analysis composition

机译：半自动软件演化分析组合的框架
- 作者：Giacomo Ghezzi;Harald C. Gall
- 期刊名称：《Automated software engineering》 | 2013年第3期
29.Finding conclusion stability for selecting the best effort predictor in software effort estimation

机译：查找结论稳定性以在软件工作量估计中选择最佳工作量预测变量
- 作者：Jacky Keung;Ekrem Kocaguneli;Tim Menzies
- 期刊名称：《Automated software engineering》 | 2013年第4期
- Effort estimation;
- Data mining;
- Stability;
- Linear regression;
- Regression trees;
- Neural nets;
- Analogy;
- MMRE;
- Evaluation criteria;
30.Verification of complex dynamic data tree with mu-calculus

机译：使用mu-calculus验证复杂的动态数据树
- 作者：Maria del Mar Gallardo;David Sanan
- 期刊名称：《Automated software engineering》 | 2013年第4期
- Model checking;
- Mu-calculus;
- Dynamic data structures;
31.Editorial introduction

机译：编辑介绍
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2013年第4期
32.The WTE+ framework: automated construction and runtime adaptation of service mashups

机译：WTE +框架：服务混搭的自动构建和运行时适应
- 作者：Anna Hristoskova;Bruno Volckaert;Filip De Turck
- 期刊名称：《Automated software engineering》 | 2013年第4期
- Service mashups;
- Semantic reasoning;
- HTN planning;
- Runtime adaptation;
- Quality of Service (QoS);
33.Prioritizing test cases with string distances

机译：优先考虑字符串距离的测试用例
- 作者：Yves Ledru;Alexandra Petrenko;Sergiy Boroday;Nadine Mandran
- 期刊名称：《Automated software engineering》 | 2012年第1期
- software engineering;
- testing and debugging;
- testing tools;
- test case prioritisation;
- string distance;
34.Refactoring techniques for aggressive object inlining in Java applications

机译：Java应用程序中用于主动对象内联的重构技术
- 作者：Yosi Ben Asher;Tomer Gal;Gadi Haber;Marcel Zalmanovici
- 期刊名称：《Automated software engineering》 | 2012年第1期
- refactoring;
- java;
- inlining;
- eclipse;
35.Editorial: ASE 2011 conference trip report

机译：社论：ASE 2011年会议报告
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2012年第1期
36.Model checking agent programming languages

机译：模型检查代理程序编程语言
- 作者：Louise A. Dennis;Michael Fisher;Matthew P. Webster;Rafael H. Bordini
- 期刊名称：《Automated software engineering》 | 2012年第1期
- multi-agent systems;
- agent programming languages;
- bdi formal verification;
- model checking;
- java pathfinder;
37.Applying the Mahalanobis-Taguchi strategy for software defect diagnosis

机译：应用Mahalanobis-Taguchi策略进行软件缺陷诊断
- 作者：Dimitris Liparas;Lefteris Angelis;Robert Feldt
- 期刊名称：《Automated software engineering》 | 2012年第2期
- software defect prediction;
- fault-proneness;
- software testing;
- mahalanobis-taguchi strategy;
38.Sample-based software defect prediction with active and semi-supervised learning

机译：具有主动和半监督学习的基于样本的软件缺陷预测
- 作者：Ming Li;Hongyu Zhang;Rongxin Wu;Zhi-Hua Zhou
- 期刊名称：《Automated software engineering》 | 2012年第2期
- software defect prediction;
- sampling;
- quality assurance;
- machine learning;
- active semi-supervised learning;
39.Guest editorial: learning to organize testing

机译：客座社论：学习组织测试
- 作者：Ayse Bener;Tim Menzies
- 期刊名称：《Automated software engineering》 | 2012年第2期
40.An investigation on the feasibility of cross-project defect prediction

机译：跨项目缺陷预测的可行性研究
- 作者：Zhimin He;Fengdi Shu;Ye Yang;Mingshu Li;Qing Wang
- 期刊名称：《Automated software engineering》 | 2012年第2期
- defect prediction;
- cross-project;
- data characteristics;
- machine learning;
- training data;
41.An International Journal

机译：国际期刊
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2012年第2期
42.Editorial: analysis in software engineering

机译：社论：软件工程中的分析
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2012年第3期
43.Efficient and formal generalized symbolic execution

机译：高效和正式的广义符号执行
- 作者：Xianghua Deng;Jooyong Lee;Robby
- 期刊名称：《Automated software engineering》 | 2012年第3期
- symbolic execution;
- operational semantics;
- JVM;
- soundness;
- completeness;
44.Artificial neural networks as multi-networks automated test oracle

机译：人工神经网络作为多网络自动测试Oracle
- 作者：Seyed Reza Shahamiri;Wan M.N. Wan-Kadir;Suhaimi Ibrahim;Siti Zaiton Mohd Hashim
- 期刊名称：《Automated software engineering》 | 2012年第3期
- automated software testing;
- software test oracle;
- artificial neural networks;
- mutation testing;
45.Decision support for the software product line domain engineering lifecycle

机译：软件产品线领域工程生命周期的决策支持
- 作者：Ebrahim Bagheri;Faezeh Ensan;Dragan Gasevic
- 期刊名称：《Automated software engineering》 | 2012年第3期
- software product lines;
- feature models;
- domain engineering;
- NLP model inference;
46.Editorial: selected topics in ASE

机译：社论：ASE中的精选主题
- 作者：Robert J.Hall
- 期刊名称：《Automated software engineering》 | 2012年第4期
47.Scenario-based and value-based specification mining: better together

机译：基于场景和基于价值的规范挖掘：更好的结合
- 作者：David Lo;Shahar Maoz
- 期刊名称：《Automated software engineering》 | 2012年第4期
- specification mining;
- dynamic analysis;
- live sequence charts;
- value-based invariants;
48.AUTOMATED SOFTWARE ENGINEERING

机译：自动化软件工程
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2012年第4期
49.The design and evaluation of a tool to support software designers at the whiteboard

机译：在白板上支持软件设计人员的工具的设计和评估
- 作者：Nicolas Mangano;Andre van der Hoek
- 期刊名称：《Automated software engineering》 | 2012年第4期
- design;
- software design;
- sketching;
- creative exploration;
- electronic whiteboard;
- informal drawing;
50.Vdiff: a program differencing algorithm for Verilog hardware description language

机译：Vdiff：Verilog硬件描述语言的程序区分算法
- 作者：Adam Duley;Chris Spandikow;Miryung Kim
- 期刊名称：《Automated software engineering》 | 2012年第4期
- software evolution;
- program differencing;
- hardware description languages;
51.JRF-E: using model checking to give advice on eliminating memory model-related bugs

机译：JRF-E：使用模型检查为消除与内存模型相关的错误提供建议
- 作者：Kyung Hee Kim;Tuba Yavuz-Kahveci;Beverly A. Sanders
- 期刊名称：《Automated software engineering》 | 2012年第4期
- data race;
- relaxed memory model;
- counterexample;
52.StrSolve: solving string constraints lazily

机译：StrSolve：延迟解决字符串约束
- 作者：Pieter Hooimeijer;Westley Weimer
- 期刊名称：《Automated software engineering》 | 2012年第4期
- string;
- regular language;
- decision procedure;
- scalability;
53.Editorial: ASE 2010 Conference trip report

机译：社论：ASE 2010年会议报告
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2011年第1期
54.A model-based approach for multiple QoS in scheduling: from models to implementation

机译：调度中基于QoS的基于模型的方法：从模型到实现
- 作者：Christos Kloukinas;Sergio Yovine
- 期刊名称：《Automated software engineering》 | 2011年第1期
- CASE;
- Model checking;
- Process management;
- Real-time systems and embedded systems;
55.Compositional model checking of software product lines using variation point obligations

机译：使用变更点义务对软件产品线进行组成模型检查
- 作者：Jing Liu;Samik Basu;Robyn R. Lutz
- 期刊名称：《Automated software engineering》 | 2011年第1期
56.The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study

机译：面向决策的可变性建模的DOPLER元工具：多案例研究
- 作者：Deepak Dhungana;Paul Gruenbacher;Rick Rabiser
- 期刊名称：《Automated software engineering》 | 2011年第1期
- product line engineering;
- decision models;
- meta-tools;
57.Example-based model-transformation testing

机译：基于示例的模型转换测试
- 作者：Marouane Kessentini;Houari Sahraoui;Mounir Boukadoum
- 期刊名称：《Automated software engineering》 | 2011年第2期
- model transformation testing;
- artificial immune system;
- traceability;
58.Editorial: Controlling change

机译：社论：控制变化
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2011年第2期
59.A monitoring approach for runtime service discovery

机译：运行时服务发现的监视方法
- 作者：K. Mahbub;G. Spanoudakis;A. Zisman
- 期刊名称：《Automated software engineering》 | 2011年第2期
- runtime service discovery;
- proactive discovery;
- service monitoring query;
60.Flexible feature binding in software product lines

机译：软件产品线中的灵活功能绑定
- 作者：Marko Rosenmiiller;Norbert Siegmund;Sven Apel;Gunter Saake
- 期刊名称：《Automated software engineering》 | 2011年第2期
- software product lines;
- feature binding time;
- feature-oriented programming;
- feature composition;
- static binding;
- dynamic binding;
61.Guest editorial: special issue on selected topics in automated software engineering Specification mining and defect detection

机译：客座社论：自动化软件工程中选定主题的特刊规范挖掘和缺陷检测
- 作者：Mats RE. Heimdahl;Gabriele Taentzer
- 期刊名称：《Automated software engineering》 | 2011年第4期
62.Alattin: mining alternative patterns for defect detection

机译：阿拉丁：挖掘替代模式以进行缺陷检测
- 作者：Suresh Thummalapenta;Tao Xie
- 期刊名称：《Automated software engineering》 | 2011年第4期
- alternative patterns;
- static defect detection;
- mining software engineering data;
- code search engine;
63.Symbolic modular deadlock analysis

机译：符号模块化死锁分析
- 作者：Jyotirmoy V. Deshmukh;E. Allen Emerson;Sriram Sankaranarayanan
- 期刊名称：《Automated software engineering》 | 2011年第4期
- deadlock prediction;
- static analysis;
- concurrent libraries;
64.Inferring specifications for resources from natural language API documentation

机译：从自然语言API文档中推断资源规范
- 作者：Hao Zhong;Lu Zhang;Tao Xie;Hong Mei;p
- 期刊名称：《Automated software engineering》 | 2011年第4期
- inferring specifications;
- API documentation;
65.Mining temporal specifications from object usage

机译：从对象使用中挖掘时间规范
- 作者：Andrzej Wasylkowski;Andreas Zeller
- 期刊名称：《Automated software engineering》 | 2011年第4期
- automatic defect detection;
- mining specifications;
- temporal logic;
- computation tree logic;
- program analysis;
66.Code completion of multiple keywords from abbreviated input

机译：缩写输入中多个关键字的代码完成
- 作者：Sangmok Han;David R. Wallace;Robert C. Miller
- 期刊名称：《Automated software engineering》 | 2011年第4期
- abbreviation completion;
- multiple keywords;
- code completion;
- hidden markov model;
- code assistants;
- abbreviation;
- extrapolation;
- data mining;
67.Editorial: ASE 2009 conference trip report

机译：社论：ASE 2009年会议报告
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2010年第1期
68.Test input reduction for result inspection to facilitate fault localization

机译：减少测试输入以进行结果检查，以方便故障定位
- 作者：Dan Hao;Tao Xie;Lu Zhang;Xiaoyin Wang;Jiasu Sun;Hong Mei
- 期刊名称：《Automated software engineering》 | 2010年第1期
- test suite reduction;
- testing;
- debugging;
- fault localization;
69.Operational definition and automated inference of test-driven development with Zorro

机译：Zorro的业务定义和测试驱动开发的自动推断
- 作者：Hongbing Kou;Philip M. Johnson;Hakan Erdogmus
- 期刊名称：《Automated software engineering》 | 2010年第1期
- test driven development;
- hackystat;
- process measurement;
70.Estimating the feasibility of transition paths in extended finite state machines

机译：估计扩展有限状态机中过渡路径的可行性
- 作者：Karnig Derderian;Robert M. Hierons;Mark Harman;Qiang Guo
- 期刊名称：《Automated software engineering》 | 2010年第1期
- EFSM;
- transition feasibility;
- state-based testing;
- automated test generation;
71.Finding robust solutions in requirements models

机译：在需求模型中找到可靠的解决方案
- 作者：Gregory Gay;Tim Menzies;Omid Jalali;Gregory Mundy;Beau Gilkerson;Martin Feather;James Kiper
- 期刊名称：《Automated software engineering》 | 2010年第1期
72.Guest Editorial

机译：客座社论
- 作者：Andrew Ireland;Willem Visser
- 期刊名称：《Automated software engineering》 | 2010年第2期
73.Generic patch inference

机译：通用补丁推论
- 作者：Jesper Andersen;Julia L. Lawall
- 期刊名称：《Automated software engineering》 | 2010年第2期
- Linux;
- patches;
- change detection;
74.Efficient monitoring of parametric context-free patterns

机译：有效监控参数上下文无关模式
- 作者：Patrick ONeil Meredith;Dongyun Jin;Feng Chen;Grigore Rosu
- 期刊名称：《Automated software engineering》 | 2010年第2期
- runtime verification;
- monitoring;
- context-free languages;
75.Improving code completion with program history

机译：利用程序历史记录来提高代码完成率
- 作者：Romain Robbes;Michele Lanza
- 期刊名称：《Automated software engineering》 | 2010年第2期
- software evolution;
- first-class changes;
- integrated development environments;
- code completion;
- benchmark;
76.Editorial: software defect detection

机译：社论：软件缺陷检测
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2010年第3期
77.Generating a checking sequence with a minimum number of reset transitions

机译：生成具有最少数量的复位转换的检查序列
- 作者：R.M. Hierons;H. Ural
- 期刊名称：《Automated software engineering》 | 2010年第3期
- finite state machine;
- checking sequence generation;
- reset transition;
- distinguishing sequence;
- optimisation;
78.Type safety for feature-oriented product lines

机译：面向特征的产品线的类型安全
- 作者：Sven Apel;Christian Kaestner;Armin Groesslinger;Christian Lengauer
- 期刊名称：《Automated software engineering》 | 2010年第3期
- feature featherweight java;
- feature-oriented programming;
- software product lines;
- type systems;
- safe composition;
79.SUDS: an infrastructure for creating dynamic software defect detection tools

机译：SUDS：用于创建动态软件缺陷检测工具的基础结构
- 作者：Eric Larson
- 期刊名称：《Automated software engineering》 | 2010年第3期
- software testing;
- software defect detection;
- software engineering;
- static analysis;
- instrumentation;
- testing tools;
80.AFID: an automated approach to collecting software faults

机译：AFID：一种收集软件故障的自动化方法
- 作者：Alex Edwards;Sean Tucker;Brian Demsky
- 期刊名称：《Automated software engineering》 | 2010年第3期
- fault collection;
81.Defect prediction from static code features: current results, limitations, new approaches

机译：静态代码功能的缺陷预测：当前结果，局限性，新方法
- 作者：Tim Menzies;Zach Milton;Burak Turhan;Bojan Cukic;Yue Jiang;Ayse Bener
- 期刊名称：《Automated software engineering》 | 2010年第4期
- defect prediction;
- static code features;
- WHICH;
82.Editorial: data mining in software engineering

机译：社论：软件工程中的数据挖掘
- 作者：Robert J. Hall
- 期刊名称：《Automated software engineering》 | 2010年第4期
83.Stable rankings for different effort models

机译：不同工作量模型的排名稳定
- 作者：Tim Menzies;Omid Jalali;Jairus Hihn;Dan Baker;Karen Lum
- 期刊名称：《Automated software engineering》 | 2010年第4期
- COCOMO;
- effort estimation;
- data mining;
- evaluation;
84.Automatically finding the control variables for complex system behavior

机译：自动查找复杂系统行为的控制变量
- 作者：Gregory Gay;Tim Menzies;Misty Davies;Karen Gundy-Burlet
- 期刊名称：《Automated software engineering》 | 2010年第4期
- contrast-set learning;
- search-based software engineering;
- simulation;
- optimization;
- monte carlo filtering;
85.Guest Editors' Introduction

机译：客座编辑介绍
- 作者：Alexander Egyed;Bernd Fischer
- 期刊名称：《Automated software engineering》 | 2009年第1期
86.Monitoring And Diagnosing Software Requirements

机译：监视和诊断软件需求
- 作者：Yiqiao Wang;Sheila A. McIIraith;Yijun Yu;John Mylopoulos
- 期刊名称：《Automated software engineering》 | 2009年第1期
- requirement monitoring;
- diagnostics;
87.Keyword Programming In Java

机译：Java关键字编程
- 作者：Greg Little;Robert C. Miller
- 期刊名称：《Automated software engineering》 | 2009年第1期
- JAVA;
- autocomplete;
- code assistants;
88.Scalable Satisfiability Checking And Test Data Generation From Modeling Diagrams

机译：通过建模图进行可扩展的满意度检查和测试数据生成
- 作者：Yannis Smaragdakis;Christoph Csallner;Ranjith Subramanian
- 期刊名称：《Automated software engineering》 | 2009年第1期
- ORM;
- modeling;
- testing;
- databases;
- np-hardness;
- ORM;
- test data generation;
89.Fast Extraction Of High-quality Framework-specific Models From Application Code

机译：从应用程序代码中快速提取高质量的特定于框架的模型
- 作者：Michat Antkiewicz;Thiago Tonelli Bartolomei;Krzysztof Czarnecki
- 期刊名称：《Automated software engineering》 | 2009年第1期
90.Parameter Reference Immutability: Formal Definition, Inference Tool, And Comparison

机译：参数参考不变性：形式定义，推理工具和比较
- 作者：Shay Artzi;Adam Kiezun;Jaime Quinonez;Michael D. Ernst
- 期刊名称：《Automated software engineering》 | 2009年第1期
- readonly;
- reference immutability;
- definition;
- combined analysis;
91.Precise slicing of concurrent programs: An Evaluation of static slicing algorithms for concurrent programs

机译：并发程序的精确切片：对并发程序的静态切片算法的评估
- 作者：Dennis Giffhorn;Christian Hammer
- 期刊名称：《Automated software engineering》 | 2009年第2期
- slicing;
- program analysis;
- concurrency;
- threads;
92.Demand-driven evaluation of collection attributes

机译：需求驱动的集合属性评估
- 作者：Eva Magnusson;Torbjoern Ekman;Goerel Hedin
- 期刊名称：《Automated software engineering》 | 2009年第2期
- attribute grammars;
- collection attributes;
- circular attributes;
- fixed-point computations;
- source code analysis;
93.An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw

机译：集成的横切关注点迁移策略及其在JHotDraw中的半自动应用
- 作者：Marius Marin;Arie van Deursen;Leon Moonen;Robin van der Rijst
- 期刊名称：《Automated software engineering》 | 2009年第2期
94.Improving static resolution of dynamic class loading in Java using dynamically gathered environment information

机译：使用动态收集的环境信息提高Java中动态类加载的静态分辨率
- 作者：Jason Sawin;A tanas Rountev
- 期刊名称：《Automated software engineering》 | 2009年第2期
- static analysis;
- string analysis;
- dynamic class loading;
- reflection;
95.Editorial for Special Issue of JASE on Source Code Analysis and Manipulation

机译：JASE特刊的源代码分析和处理社论
- 作者：Michael W. Godfrey;Bogdan Korel
- 期刊名称：《Automated software engineering》 | 2009年第2期
96.Trading-off security and performance in barrier slicing for remote software entrusting

机译：权衡安全性和远程软件委托的屏障切片性能
- 作者：Mariano Ceccato;Mila Dalla Preda;Jasvir Nagra;Christian Collberg;Paolo Tonella
- 期刊名称：《Automated software engineering》 | 2009年第2期
- program slicing;
- security;
- source code transformation;
97.On temporal path conditions in dependence graphs

机译：依赖图中的时间路径条件
- 作者：Andreas Lochbihler;Gregor Snelting
- 期刊名称：《Automated software engineering》 | 2009年第2期
- program dependence graph;
- path condition;
- temporal logic;
- security analysis;
98.From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

机译：从UML / SPT模型到可调度性分析：使用ATL的方法和原型实现
- 作者：Abdelouahed Gherbi;Ferhat Khendek
- 期刊名称：《Automated software engineering》 | 2009年第4期
- UML;
- UML/SPT;
- MDA;
- model transformations;
- schedulability analysis;
- ATL;
- real-time;
99.A semantic framework for metamodel-based languages

机译：基于元模型的语言的语义框架
- 作者：Angelo Gargantini;Elvinia Riccobene;Patrizia Scandurra
- 期刊名称：《Automated software engineering》 | 2009年第4期
100.Automated software license analysis

机译：自动化软件许可证分析
- 作者：Timo Tuunanen;Jussi Koskinen;Tommi Kaerkkaeinen
- 期刊名称：《Automated software engineering》 | 2009年第4期
- software licenses;
- software reuse;
- open source software;
- reverse engineering;
- program comprehension;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号