Logo - springer
Slogan - springer

Computer Science - Software Engineering | Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

Chiba, S., Tanter, É., Bodden, E., Maoz, S., Kienzle, J. (Eds.)

2014, XIV, 263 p. 78 illus.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-642-55099-7

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-642-55098-0

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

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

Content Level » Research

Keywords » 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

Related subjects » Software Engineering

Table of contents 

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.- Event Modules: Modularizing Domain-Specific Crosscutting RV Concerns.- Method Slots: Supporting Methods, Events and Advices by a Single Language Construct.- Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management.- Effective Aspects: A Typed Monadic Embedding of Point cuts and Advice.- Modular Specification and Checking of Structural Dependencies.- Towards Reactive Programming for Object-Oriented Applications.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering.