Volume 20, Issue 2, June 2013

Special Issue: Innovative Automated Software Engineering Tools, Part One; Guest Editors: John Grundy and John Hosking

ISSN: 0928-8910 (Print) 1573-7535 (Online)

In this issue (5 articles)

  1. EditorialNotes

    Guest editors introduction: special issue on innovative automated software engineering tools

    John Grundy, John Hosking Pages 137-139
    Download PDF (159KB) View Article

  2. No Access

    OriginalPaper

    A tool environment for quality assurance based on the Eclipse Modeling Framework

    Thorsten Arendt, Gabriele Taentzer Pages 141-184
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Design and evaluation of the ModelHealth toolchain for continuity of care web services

    Ståle Walderhaug Pages 185-235
    Look Inside Get Access

  4. No Access

    OriginalPaper

    Automated verification of code automatically generated from Simulink®

    Colin O’Halloran Pages 237-264
    Look Inside Get Access

  5. No Access

    OriginalPaper

    C2O configurator: a tool for guided decision-making

    Alexander Nöhrer, Alexander Egyed Pages 265-296
    Look Inside Get Access