Transactions on Aspect-Oriented Software Development XII

  • Shigeru Chiba
  • Éric Tanter
  • Erik Ernst
  • Robert Hirschfeld

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

Also part of the Transactions on Aspect-Oriented Software Development book sub series (TAOSD, volume 8989)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Regular Paper

    1. Front Matter
      Pages 1-1
  3. Selected Papers from Modularity 2014

    1. Front Matter
      Pages 61-61
    2. Camille Teruel, Erwann Wernli, Stéphane Ducasse, Oscar Nierstrasz
      Pages 63-95
    3. Luciana Lourdes Silva, Marco Tulio Valente, Marcelo de A. Maia
      Pages 96-131
    4. Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
      Pages 132-179
    5. Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
      Pages 180-220
  4. Back Matter
    Pages 221-221

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.


Funcons abstraction agglomerative hierarchical clustering algorithm co-change clusters co-change graphs component-based semantics fundamental constructs model-checking modeling modular SOS modularity reusability runtime verification software architectures software changes software development software system structures type systems version control systems

Editors and affiliations

  • Shigeru Chiba
    • 1
  • Éric Tanter
    • 2
  • Erik Ernst
    • 3
  • Robert Hirschfeld
    • 4
  1. 1.The University of TokyoTokyoJapan
  2. 2.University of ChileSantiagoChile
  3. 3.Google AarhusAarhusDenmark
  4. 4.Hasso Plattner InstitutePotsdamGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-46733-6
  • Online ISBN 978-3-662-46734-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment