Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 20
Volume 20, Number 1, March 2013
- Robert J. Hall:
Editorial: ASE 2012 conference trip report. 1-4 - Esther Guerra
, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger:
Automated verification of model transformations based on visual contracts. 5-46 - Ali Ouni, Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum:
Maintainability defects detection and correction: a multi-objective approach. 47-79 - Hui Liu, Zhendong Niu, Zhiyi Ma, Weizhong Shao:
Identification of generalization refactoring opportunities. 81-110 - Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid:
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements. 111-135
Volume 20, Number 2, June 2013
- John Grundy, John G. Hosking:
Guest editors introduction: special issue on innovative automated software engineering tools. 137-139 - Thorsten Arendt, Gabriele Taentzer:
A tool environment for quality assurance based on the Eclipse Modeling Framework. 141-184 - Ståle Walderhaug:
Design and evaluation of the ModelHealth toolchain for continuity of care web services. 185-235 - Colin O'Halloran:
Automated verification of code automatically generated from Simulink®. 237-264 - Alexander Nöhrer, Alexander Egyed:
C2O configurator: a tool for guided decision-making. 265-296
Volume 20, Number 3, September 2013
- John Grundy, John G. Hosking:
Guest editors introduction: special issue on innovative automated software engineering tools - part #2. 297-298 - Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna:
Experiences using Tedeso: an extensible and interoperable model-based testing platform. 299-337 - Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz:
mbeddr: instantiating a language workbench in the embedded software domain. 339-390 - Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta:
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. 391-425 - Rita Suzana Pitangueira Maciel, Ramon Araújo Gomes, Ana Patrícia Fontes Magalhães, Bruno Carreiro da Silva, João Pedro B. Queiroz:
Supporting model-driven development using a process-centered software engineering environment. 427-461 - Giacomo Ghezzi, Harald C. Gall:
A framework for semi-automated software evolution analysis composition. 463-496
Volume 20, Number 4, December 2013
- Robert J. Hall:
Editorial introduction. 497-498 - Anna Hristoskova, Bruno Volckaert, Filip De Turck:
The WTE+ framework: automated construction and runtime adaptation of service mashups. 499-542 - Jacky Keung, Ekrem Kocaguneli, Tim Menzies:
Finding conclusion stability for selecting the best effort predictor in software effort estimation. 543-567 - María-del-Mar Gallardo, David Sanán:
Verification of complex dynamic data tree with mu-calculus. 569-612
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
