Transactions on Aspect-Oriented Software Development XI

  • Shigeru Chiba
  • Éric Tanter
  • Eric Bodden
  • Shahar Maoz
  • Jörg Kienzle

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

Table of contents

  1. Front Matter
  2. Runtime Verification and Analysis

    1. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
      Pages 1-26
    2. Somayeh Malakuti, Mehmet Akşit
      Pages 27-69
  3. Best Papers of AOSD 2013

    1. Phu H. Nguyen, Gregory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
      Pages 109-144
    2. Ismael Figueroa, Nicolas Tabareau, Éric Tanter
      Pages 145-192
    3. Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
      Pages 193-226
    4. Guido Salvaneschi, Mira Mezini
      Pages 227-261
  4. Back Matter

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 11th in the Transactions on Aspect-Oriented Software Development series, consists of two parts. The first part focuses on runtime verification and analysis, highlighting runtime verification as a "killer" application of aspect-orientation. The second part contains revised and extended versions of the five best papers submitted to Modularity:aosd 2013, presenting current research related to modularity and covering topics such as formal methods and type systems, static analysis approaches for software architectures, model-driven engineering and model composition, aspect-oriented programming, event-driven programming and reactive programming.


AOSD abstraction aspect-oriented software development formal methods model-driven software development modeling modularity runtime verification software architectures software system structures software verification type systems

Editors and affiliations

  • Shigeru Chiba
    • 1
  • Éric Tanter
    • 2
  • Eric Bodden
    • 3
  • Shahar Maoz
    • 4
  • Jörg Kienzle
    • 5
  1. 1.The University of TokyoTokyoJapan
  2. 2.University of ChileSantiagoChile
  3. 3.Technical University of DarmstadtDarmstadtGermany
  4. 4.Tel Aviv UniversityTel AvivIsrael
  5. 5.McGill UniversityMontrealCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-55098-0
  • Online ISBN 978-3-642-55099-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site