Automated Software Engineering （ASE） - December 2013, issue 4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 2013, issue 4 |
| 发布时间： |
| 卷期年份： 2013 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/20-4 |
本期论文列表
Editorial introduction
The WTE+ framework: automated construction and runtime adaptation of service mashups
Finding conclusion stability for selecting the best effort predictor in software effort estimation
Verification of complex dynamic data tree with mu-calculus
Guest editors introduction: special issue on innovative automated software engineering tools
A tool environment for quality assurance based on the Eclipse Modeling Framework
Design and evaluation of the ModelHealth toolchain for continuity of care web services
Automated verification of code automatically generated from Simulink®
C2O configurator: a tool for guided decision-making
Editorial: ASE 2012 conference trip report
Automated verification of model transformations based on visual contracts
Maintainability defects detection and correction: a multi-objective approach
Identification of generalization refactoring opportunities
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Guest editors introduction: special issue on innovative automated software engineering tools—part #2
Experiences using Tedeso: an extensible and interoperable model-based testing platform
mbeddr: instantiating a language workbench in the embedded software domain
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Supporting model-driven development using a process-centered software engineering environment
A framework for semi-automated software evolution analysis composition