Skip to main content
SpringerLink
Log in

Transactions on Aspect-Oriented Software Development XI

  • Book
  • © 2014

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. Eric Bodden

    1. Technical University of Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Shahar Maoz

    1. Tel Aviv University, Tel Aviv, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Jörg Kienzle

    1. McGill University, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains seven in-depth papers on runtime verification and on modularity and AOSD
  • Includes revised, extended versions of papers presented at Modularity:aosd 2013
  • Covers a wide range of modularity topics ranging from formal methods and type systems to event-driven programming and reactive programming

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

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 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 (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. Runtime Verification and Analysis

    1. Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

      • Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
      Pages 1-26

    2. Event Modules

      • Somayeh Malakuti, Mehmet Akşit
      Pages 27-69

  3. Best Papers of AOSD 2013

    1. Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct

      • YungYu Zhuang, Shigeru Chiba
      Pages 70-108

    2. Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management

      • Phu H. Nguyen, Gregory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
      Pages 109-144

    3. Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

      • Ismael Figueroa, Nicolas Tabareau, Éric Tanter
      Pages 145-192

    4. Modular Specification and Checking of Structural Dependencies

      • Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
      Pages 193-226

    5. Towards Reactive Programming for Object-Oriented Applications

      • Guido Salvaneschi, Mira Mezini
      Pages 227-261

  4. Back Matter

    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 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.

Editors and Affiliations

  • The University of Tokyo, Tokyo, Japan

    Shigeru Chiba

  • University of Chile, Santiago, Chile

    Éric Tanter

  • Technical University of Darmstadt, Darmstadt, Germany

    Eric Bodden

  • Tel Aviv University, Tel Aviv, Israel

    Shahar Maoz

  • McGill University, Montreal, Canada

    Jörg Kienzle

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation