Skip to main content
SpringerLink
Log in
Book cover

Transactions on Aspect-Oriented Software Development XII

  • Book
  • © 2015

Overview

Editors:
  1. Shigeru Chiba

    1. The University of Tokyo, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Éric Tanter

    1. University of Chile, Santiago, Chile

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Erik Ernst

    1. Google Aarhus, Aarhus, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Robert Hirschfeld

    1. Hasso Plattner Institute, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains improved, extended versions of the best four papers presented at Modularity 2014
  • Provides an interesting snapshot of state-of-the-art research on modularity
  • In the first paper, the authors describe their new language, ContractAJ, for the description of contracts for modular reasoning
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8989)

Part of the book sub series: Transactions on Aspect-Oriented Software Development (TAOSD)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Regular Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective

      • Tim Molderez, Dirk Janssens
      Pages 3-59

  3. Selected Papers from Modularity 2014

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Propagation of Behavioral Variations with Delegation Proxies

      • Camille Teruel, Erwann Wernli, Stéphane Ducasse, Oscar Nierstrasz
      Pages 63-95

    3. Co-change Clusters: Extraction and Application on Assessing Software Modularity

      • Luciana Lourdes Silva, Marco Tulio Valente, Marcelo de A. Maia
      Pages 96-131

    4. Reusable Components of Semantic Specifications

      • Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
      Pages 132-179

    5. Probabilistic Model Checking for Feature-Oriented Systems

      • Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
      Pages 180-220

  4. Back Matter

    Pages 221-221
    Download chapter PDF
Back to top

Keywords

About this book

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.

Editors and Affiliations

  • The University of Tokyo, Tokyo, Japan

    Shigeru Chiba

  • University of Chile, Santiago, Chile

    Éric Tanter

  • Google Aarhus, Aarhus, Denmark

    Erik Ernst

  • Hasso Plattner Institute, Potsdam, Germany

    Robert Hirschfeld

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation